patrick@0: # $Id$
patrick@0: 
patrick@0: start = publidoc
patrick@0: 
patrick@0: 
patrick@0: publidoc = element publidoc {
patrick@0:    publidoc.attributes,
patrick@0:    publidoc.content
patrick@0: }
patrick@0: 
patrick@0: publidoc.attributes =
patrick@0:    version.attribute
patrick@0: version.attribute = attribute version { "1.0" }
patrick@0: 
patrick@0: publidoc.content =
patrick@0:    document
patrick@0:  | top.topic
patrick@0: 
patrick@0: 
patrick@0: # =============================================================================
patrick@20: #                                  TOP LEVEL
patrick@0: # =============================================================================
patrick@0: 
patrick@98: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: top.head = element head { top.head.content }
patrick@90: 
patrick@90: top.head.content =
patrick@127:    (title, shorttitle?, subtitle?)?
patrick@156:  & (identifier, identifier?)?
patrick@181:  & copyright*
Patrick@155:  & collection?
patrick@90:  & contributors?
patrick@90:  & date?
patrick@90:  & place?
patrick@156:  & (source, source?)?
patrick@90:  & keywordset?
patrick@90:  & subjectset?
patrick@90:  & abstract?
patrick@90:  & cover?
patrick@90:  & annotation*
patrick@90: 
patrick@0: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ document ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@90: # ~~~~~~ document
patrick@0: document = element document { document.attributes, document.content }
patrick@0: 
patrick@0: document.attributes =
patrick@0:    document.id.attribute
patrick@142:  & document.type.attribute?
patrick@66:  & lang.attribute?
patrick@117: document.id.attribute = attribute id { xsd:NMTOKEN }
patrick@142: document.type.attribute = attribute type { xsd:NCName }
patrick@66: lang.attribute = attribute xml:lang { xsd:language }
patrick@0: 
patrick@0: document.content =
patrick@20:    top.head?,
patrick@56:    (division | topic)+
patrick@0: 
patrick@0: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@18: top.topic = element topic { top.topic.attributes, top.topic.content }
patrick@0: 
patrick@20: top.topic.attributes =
patrick@20:    topic.id.attribute
patrick@20:  & topic.type.attribute?
patrick@66:  & lang.attribute?
patrick@117: topic.id.attribute = attribute id { xsd:NMTOKEN }
patrick@20: topic.type.attribute = attribute type { xsd:NCName }
patrick@20: 
patrick@20: top.topic.content =
patrick@20:    top.head?,
Patrick@137:    header?,
Patrick@137:    section+,
Patrick@137:    footer?
patrick@0: 
patrick@40: 
patrick@0: # =============================================================================
patrick@20: #                                 DIVISION LEVEL
patrick@0: # =============================================================================
patrick@0: 
patrick@70: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@90: # ~~~~~~ division
patrick@0: division = element division { division.content }
patrick@0: 
patrick@0: division.content =
patrick@20:    division.head?,
patrick@56:    (division | topic)+
patrick@0: 
patrick@90: # ~~~~~~ division.head
patrick@90: division.head = element head { division.head.content }
patrick@90: 
patrick@90: division.head.content =
patrick@127:    (title, shorttitle?, subtitle?)?
patrick@90:  & abstract?
patrick@90:  & annotation*
patrick@90: 
patrick@0: 
patrick@0: # =============================================================================
patrick@90: #                                COMPONENT LEVEL
patrick@0: # =============================================================================
patrick@0: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ component.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: component.head = element head { component.head.content }
patrick@90: 
patrick@90: component.head.content =
patrick@127:    (title, shorttitle?, subtitle?)?
patrick@90:  & contributors?
patrick@143:  & date?
patrick@143:  & place?
patrick@143:  & keywordset?
patrick@143:  & subjectset?
patrick@90:  & abstract?
patrick@90:  & annotation*
patrick@90: 
patrick@0: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ topic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: topic = element topic { topic.attributes, topic.content }
patrick@0: 
patrick@0: topic.attributes =
patrick@122:    (topic.id.attribute | topic.xmlid.attribute)?
patrick@0:  & topic.type.attribute?
patrick@69:  & lang.attribute?
patrick@122: topic.xmlid.attribute = attribute xml:id { xsd:ID }
patrick@0: 
patrick@0: topic.content =
patrick@20:    component.head?,
Patrick@137:    header?,
Patrick@137:    section+,
Patrick@137:    footer?
patrick@0: 
patrick@0: 
patrick@0: # =============================================================================
patrick@20: #                                 SECTION LEVEL
patrick@0: # =============================================================================
patrick@0: 
Patrick@137: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ header ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@137: 
Patrick@137: header = element header { header.content }
Patrick@137: 
Patrick@137: header.content =
Patrick@137:    block+
Patrick@137: 
patrick@20: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ section ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@90: # ~~~~~~ section
patrick@58: section = element section { section.attributes, section.content }
patrick@58: 
patrick@58: section.attributes =
patrick@58:    section.type.attribute?
patrick@64:  & lang.attribute?
patrick@166:  & for.attribute?
patrick@58: section.type.attribute = attribute type { xsd:NCName }
patrick@166: for.attribute = attribute for { xsd:NCName }
patrick@0: 
patrick@0: section.content =
patrick@20:    section.head?,
patrick@9:    (section+ | block+)
patrick@0: 
patrick@90: # ~~~~~~ section.head
patrick@90: section.head = element head { section.head.content }
patrick@90: 
patrick@90: section.head.content =
patrick@127:    (title, shorttitle?, subtitle?)?
Marc@177:  & keywordset?
Marc@177:  & subjectset?
patrick@90:  & abstract?
patrick@105:  & audio*
patrick@90:  & annotation*
patrick@90: 
Patrick@137: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ footer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@137: 
Patrick@137: footer = element footer { footer.content }
Patrick@137: 
Patrick@137: footer.content =
Patrick@137:    block+
Patrick@137: 
patrick@0: 
patrick@0: # =============================================================================
patrick@20: #                                 BLOCK LEVEL
patrick@0: # =============================================================================
patrick@0: 
patrick@20: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ block ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@9: 
patrick@90: # ~~~~~~ block
patrick@44: block = (p | speech | \list | blockquote | table | media)
patrick@9: 
patrick@90: # ~~~~~~ block.head
patrick@90: block.head = element head { block.head.content }
patrick@90: 
patrick@90: block.head.content =
patrick@127:    (title, shorttitle?, subtitle?)?
patrick@90: 
patrick@42: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ p ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@20: p = element p { p.content }
patrick@0: 
patrick@20: p.content =
patrick@0:    inlines
patrick@0: 
patrick@18: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ speech ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@18: 
patrick@18: # ~~~~~~ speech
patrick@18: speech = element speech { speech.content }
patrick@18: 
patrick@18: speech.content =
patrick@18:    speaker?,
patrick@18:    stage?,
patrick@20:    p+
patrick@18: 
patrick@18: # ~~~~~~ speaker
patrick@18: speaker = element speaker { speaker.content }
patrick@18: 
patrick@18: speaker.content = inlines
patrick@18: 
patrick@18: # ~~~~~~ stage
patrick@18: stage = element stage { stage.content }
patrick@18: 
patrick@18: stage.content = inlines
patrick@18: 
patrick@17: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ list ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@9: 
patrick@9: # ~~~~~~ list
patrick@75: \list = element list {
patrick@20:    block.head?,
patrick@71:    (  (attribute type {"ordered"}?, item, item+)
patrick@9:     | (attribute type {"glossary"}, glossary.item+) )
patrick@75: }
patrick@9: 
patrick@9: # ~~~~~~ item
patrick@9: item = element item { item.content }
patrick@9: 
patrick@30: item.content =
patrick@73:    inlines
patrick@73:  | block+
patrick@9: 
patrick@9: # ~~~~~~ glossary.item
patrick@9: glossary.item = element item { glossary.item.content }
patrick@9: 
patrick@9: glossary.item.content =
patrick@9:    label,
patrick@9:    block+
patrick@9: 
patrick@44: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blockquote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@44: 
patrick@44: # ~~~~~~ blockquote
patrick@44: blockquote = element blockquote { blockquote.content }
patrick@44: 
patrick@44: blockquote.content =
patrick@44:    block.head?,
patrick@44:    (p | speech | \list)+,
patrick@44:    attribution?
patrick@44: 
patrick@44: # ~~~~~~ attribution
patrick@72: attribution = element attribution { attribution.content }
patrick@44: 
patrick@72: attribution.content =
patrick@44:    inlines
patrick@44: 
patrick@17: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ table ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@17: 
patrick@73: # ~~~~~~ table
patrick@17: table = element table { table.content }
patrick@17: 
patrick@17: table.content =
patrick@20:    block.head?,
patrick@17:    tgroup+,
patrick@109:    table.caption?
patrick@17: 
patrick@17: # ~~~~~~ tgroup
patrick@17: tgroup = element tgroup { tgroup.attributes, tgroup.content }
patrick@17: 
patrick@17: tgroup.content =
patrick@17:    thead?,
patrick@17:    tbody
patrick@17: 
patrick@17: tgroup.attributes =
patrick@17:    cols.attribute
patrick@17:  & align.attribute?
patrick@17:  & colsep.attribute?
patrick@17:  & rowsep.attribute?
patrick@17: cols.attribute = attribute cols { xsd:positiveInteger }
patrick@17: align.attribute = attribute align { "left"  |  "right"  | "center" | "justify" }
patrick@17: colsep.attribute = attribute colsep { "0" | "1" }
patrick@17: rowsep.attribute = attribute rowsep { "0" | "1" }
patrick@17: 
patrick@146: # ~~~~~~ thead, tbody
patrick@22: thead = element thead { thead.attributes, thead.content }
patrick@22: tbody = element tbody { tbody.attributes, tbody.content }
patrick@17: 
patrick@22: thead.attributes =
patrick@22:    valign.attribute?
patrick@22: tbody.attributes =
patrick@22:    valign.attribute?
patrick@22: valign.attribute = attribute valign { "top" | "middle" | "bottom" }
patrick@75: 
patrick@17: thead.content =
patrick@17:    row+
patrick@17: tbody.content =
patrick@17:    row+
patrick@17: 
patrick@17: # ~~~~~~ row
patrick@146: row = element row { row.attributes, row.content }
patrick@17: 
patrick@146: row.attributes =
patrick@17:    valign.attribute?
patrick@146:  & rowsep.attribute?
patrick@17: 
patrick@17: row.content =
patrick@17:   entry+
patrick@17: 
patrick@17: # ~~~~~~ entry
patrick@146: entry = element entry { entry.attributes, entry.content }
patrick@146: 
patrick@146: entry.attributes =
patrick@146:    align.attribute?
patrick@146:  & valign.attribute?
patrick@146:  & colsep.attribute?
patrick@146:  & rowsep.attribute?
patrick@17: 
patrick@17: entry.content =
patrick@17:    inlines
patrick@37:  | (p | media)+
patrick@17: 
patrick@109: # ~~~~~~ table.caption
patrick@109: table.caption = element caption { caption.content }
patrick@17: 
patrick@17: caption.content =
patrick@20:    inlines
Patrick@138:  | (p | speech | \list | blockquote)+
patrick@17: 
patrick@35: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@2: # ~~~~~~ media
patrick@0: media = element media { media.content }
patrick@0: 
patrick@0: media.content =
patrick@24:    block.head?,
patrick@119:    (image | audio | video)+,
patrick@109:    media.caption?,
patrick@36:    link?
patrick@0: 
patrick@2: # ~~~~~~ image
patrick@0: image = element image { image.attributes, image.content }
patrick@0: 
patrick@0: image.attributes =
patrick@104:    media.id.attribute
patrick@104:  & image.type?
patrick@17: media.id.attribute = attribute id { xsd:NMTOKEN }
Patrick@184: image.type = attribute type { "cover" | "thumbnail" | "icon" | "animation" }
patrick@0: 
patrick@0: image.content =
patrick@111:    copyright?,
Patrick@176:    hotspot*
patrick@0: 
patrick@45: # ~~~~~~ audio
patrick@45: audio = element audio { audio.attributes }
patrick@43: 
patrick@45: audio.attributes =
patrick@43:    media.id.attribute
patrick@104:  & audio.type?
patrick@113: audio.type = attribute type { "music" | "voice" | "background" | "smil" }
patrick@43: 
patrick@119: # ~~~~~~ video
patrick@119: video = element video { video.attributes }
patrick@119: 
patrick@119: video.attributes =
patrick@119:    media.id.attribute
patrick@119: 
patrick@122: # ~~~~~~ hotspot
patrick@122: hotspot = element hotspot { hotspot.attributes, hotspot.content }
patrick@122: 
patrick@122: hotspot.attributes =
patrick@122:    x.attribute
patrick@122:  & y.attribute
patrick@182:  & w.attribute
Patrick@183:  & h.attribute?
Patrick@183:  & (hotspot.type.attribute
Patrick@183:   & dx.attribute?
Patrick@183:   & dy.attribute?
Patrick@183:   & dw.attribute?
Patrick@183:   & dh.attribute?)?
Patrick@173: x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
Patrick@173: y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
patrick@182: w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
patrick@182: h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
Patrick@183: hotspot.type.attribute = attribute type { "normal" | "visible" | "pulse" }
Patrick@183: dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }
Patrick@183: dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }
Patrick@183: dw.attribute = attribute dw { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?"} }
Patrick@183: dh.attribute = attribute dh { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?"} }
Patrick@176:    
patrick@122: hotspot.content =
Patrick@183:    (p | link | image | audio | video),
Patrick@183:    scenario?
patrick@109:    
patrick@109: # ~~~~~~ media.caption
patrick@109: media.caption = element caption { caption.attributes, caption.content }
patrick@109: 
patrick@109: caption.attributes =
patrick@109:    x.attribute?
patrick@109:  & y.attribute?
patrick@109: 
Patrick@183: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scenario ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@183: 
Patrick@183: # ~~~~~~ scenario
Patrick@183: scenario = element scenario { scenario.content }
Patrick@183: 
Patrick@183: scenario.content =
Patrick@183:    init*,
Patrick@183:    onclick*
Patrick@183: 
Patrick@183: # ~~~~~~ init
Patrick@183: init = element init { init.attributes }
Patrick@183: 
Patrick@183: init.attributes =
Patrick@183:    init.action.attribute
Patrick@183: init.action.attribute = attribute action { "hide" }
Patrick@183: 
Patrick@183: # ~~~~~~ onclick
Patrick@183: onclick = element onclick { onclick.attributes }
Patrick@183: 
Patrick@183: onclick.attributes =
Patrick@183:    onclick.action.attribute
Patrick@183: onclick.action.attribute = attribute action { "show" }
Patrick@183: 
patrick@0: 
patrick@0: # =============================================================================
patrick@90: #                                 HEAD LEVEL
patrick@90: # =============================================================================
patrick@90: 
patrick@127: # ~~~~~~~~~~~~~~~~~~~~~~~ title, shorttitle, subtitle ~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: title = element title { title.content }
patrick@127: shorttitle = element shorttitle { title.content }
patrick@90: subtitle = element subtitle { title.content }
patrick@90: 
patrick@90: title.content = inlines
patrick@90: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ identifier ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@156: identifier = element identifier {
patrick@156:    (attribute type { "ean" }, xsd:token {pattern = "\d{13}"})
patrick@156:  | (attribute type { "uri" }, xsd:anyURI)
patrick@90: }
patrick@90: 
patrick@90: identifier.ean = element identifier {
patrick@90:    attribute type { "ean" }, xsd:token {pattern = "\d{13}"}
patrick@90: }
patrick@90: 
patrick@156: identifier.uri = element identifier {
patrick@156:    attribute type { "uri" }, xsd:anyURI
patrick@156: }
patrick@90: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ copyright ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: copyright = element copyright { copyright.content }
patrick@90: 
patrick@90: copyright.content = inlines
patrick@90: 
Patrick@155: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ collection ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@155: 
Patrick@155: collection = element collection { collection.content }
Patrick@155: 
Patrick@155: collection.content = inlines
Patrick@155: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ contributors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: # ~~~~~~ contributors
patrick@90: contributors = element contributors { contributors.content }
patrick@90: 
patrick@90: contributors.content =
patrick@90:    contributor+
patrick@90: 
patrick@90: # ~~~~~~ contributor
patrick@90: contributor = element contributor { contributor.content }
patrick@90: 
patrick@90: contributor.content =
patrick@90:    (((firstname, secondname?)?, lastname) | label),
patrick@90:    address?,
patrick@90:    link?,
patrick@101:    role+
patrick@90: 
patrick@90: # ~~~~~~ firstname, secondname, lastname, label
patrick@90: firstname = element firstname { firstname.content }
patrick@90: secondname = element secondname { secondname.content }
patrick@90: lastname = element lastname { lastname.content }
patrick@90: label = element label { label.content }
patrick@90: 
patrick@90: firstname.content = inlines
patrick@90: secondname.content = inlines
patrick@90: lastname.content = inlines
patrick@90: label.content = inlines
patrick@90: 
patrick@90: # ~~~~~~ address
patrick@90: address = element address { address.content }
patrick@90: 
patrick@90: address.content = inlines
patrick@90: 
patrick@90: # ~~~~~~ role
patrick@90: role = element role { role.content }
patrick@90: 
patrick@90: role.content = "author" | "illustrator" | "publisher" | "packager"
patrick@90: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ place ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: place = element place { place.content }
patrick@90: 
patrick@90: place.content = inlines
patrick@90: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: # ~~~~~~ source
patrick@90: source = element source {
patrick@90:    (  (attribute type { "book" }, source.content.book)
patrick@90:     | (attribute type { "file" }, source.content.file)),
patrick@90:    source.content
patrick@90: }
patrick@90: 
patrick@90: source.content.book =
patrick@90:    identifier.ean,
patrick@90:    title?,
patrick@90:    pagenumber*
patrick@90: source.content.file =
patrick@90:    identifier.uri
patrick@90: source.content =
patrick@90:    annotation*
patrick@90: 
patrick@90: # ~~~~~~ pagenumber
patrick@90: pagenumber = element pagenumber { pagenumber.content }
patrick@90: 
patrick@90: pagenumber.content = xsd:positiveInteger
patrick@90: 
patrick@132: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyword & subject ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: # ~~~~~~ keywordset
patrick@90: keywordset = element keywordset { keywordset.content }
patrick@90: 
patrick@90: keywordset.content = keyword+
patrick@90: 
patrick@90: # ~~~~~~ keyword
patrick@90: keyword = element keyword { keyword.content }
patrick@90: 
patrick@90: keyword.content = mixed { sup*, sub* }
patrick@90: 
patrick@90: # ~~~~~~ subjectset
patrick@90: subjectset = element subjectset { subjectset.content }
patrick@90: 
patrick@90: subjectset.content = subject+
patrick@90: 
patrick@90: # ~~~~~~ subject
patrick@132: subject = element subject { subject.content }
patrick@90: 
patrick@132: subject.content = xsd:NMTOKEN
patrick@90: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ abstract ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: abstract = element abstract { abstract.content }
patrick@90: 
patrick@90: abstract.content =
patrick@90:    p+
patrick@90: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ cover ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: cover = element cover { cover.content }
patrick@90: 
patrick@90: cover.content =
patrick@90:    cover.image
patrick@90: 
patrick@90: cover.image = element image { cover.image.attributes }
patrick@90: 
patrick@90: cover.image.attributes =
patrick@90:    cover.image.id.attribute
patrick@90: cover.image.id.attribute = attribute id { xsd:NMTOKEN }
patrick@105:    
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ annotation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: annotation = element annotation { annotation.content }
patrick@90: 
patrick@90: annotation.content = inlines
patrick@90: 
patrick@90: 
patrick@90: # =============================================================================
patrick@20: #                                 INLINE LEVEL
patrick@0: # =============================================================================
patrick@0: 
patrick@0: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: inlines = mixed {
patrick@0:    sup*
patrick@0:  & sub*
patrick@42:  & var*
patrick@13:  & number*
patrick@42:  & math*
patrick@0:  & date*
patrick@0:  & name*
patrick@5:  & note*
patrick@0:  & foreign*
patrick@0:  & highlight*
patrick@5:  & quote*
patrick@8:  & acronym*
Patrick@140:  & mentioned*
patrick@8:  & term*
Patrick@140:  & literal*
patrick@25:  & link*
patrick@42:  & anchor*
patrick@91:  & initial*
patrick@93:  & image*
patrick@105:  & smil*
patrick@0: }
patrick@0: 
patrick@42: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup, var ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@42: sup = element sup { text }
patrick@0: 
patrick@42: sub = element sub { text }
patrick@42: 
patrick@42: var = element var { text }
patrick@42: 
patrick@90: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ number ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@90: 
patrick@90: number = element number {
patrick@90:    ( attribute type {"roman"}, number.attributes, number.roman.content )
patrick@90:  | ( number.attributes, number.content)
patrick@90: }
patrick@90: 
patrick@90: number.attributes =
patrick@90:    number.value.attribute?
patrick@90: number.value.attribute = attribute value { xsd:integer | xsd:decimal }
patrick@90: 
patrick@90: number.content = mixed { sup* }
patrick@157: number.roman.content = xsd:token {pattern = "[DLXVI]+"}
patrick@90: 
patrick@42: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ math ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@42: 
patrick@42: math = element math {
patrick@42:    ( attribute notation {"tex"}, math.attributes, math.tex.content )
patrick@42:  | ( math.attributes, math.content)
patrick@42: }
patrick@42: 
patrick@42: math.attributes =
patrick@42:    wide.attribute?
patrick@42: wide.attribute = attribute wide { xsd:boolean }
patrick@42: 
patrick@42: math.content = mixed { sup* & sub* & var* }
patrick@42: math.tex.content = text
patrick@0: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ date ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: date = element date { date.attributes, date.content }
patrick@0: 
patrick@3: date.attributes =
patrick@13:    date.value.attribute
patrick@13:  & date.of.attribute?
patrick@13: date.value.attribute = attribute value { xsd:date | xsd:gYearMonth | xsd:gYear }
patrick@33: date.of.attribute = attribute of { "birth" | "death" }
patrick@0: 
patrick@13: date.content = mixed { sup* }
patrick@0: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: name = element name { name.attributes, name.content }
patrick@2: 
patrick@2: name.attributes =
patrick@2:    name.of.attribute?
patrick@33: name.of.attribute = attribute of
Patrick@135:    { "person" | "company" | "book" | "newspaper" | "party" | "painting" }
patrick@0: 
patrick@2: name.content = inlines
patrick@2: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ note ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@5: note = element note { note.attributes, note.content }
patrick@0: 
patrick@5: note.attributes =
patrick@5:    note.label.attribute?
patrick@5: note.label.attribute = attribute label { text }
patrick@0: 
patrick@5: note.content =
claire@180:    (w?, block+) | inlines
patrick@91: 
patrick@91: w = element w { inlines }
patrick@0: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ foreign ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: foreign = element foreign { foreign.attributes, foreign.content }
patrick@0: 
patrick@9: foreign.attributes =
patrick@9:    lang.attribute?
patrick@0: 
patrick@0: foreign.content = inlines
patrick@0: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: highlight = element highlight { highlight.content }
patrick@0: 
patrick@0: highlight.content = inlines
patrick@0: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ quote ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@5: 
patrick@5: quote = element quote { quote.content }
patrick@5: 
patrick@131: quote.content =
patrick@131:    (phrase, attribution) | inlines
patrick@131: 
patrick@131: phrase = element phrase { phrase.content }
patrick@131: 
patrick@131: phrase.content = inlines
patrick@5: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ acronym ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@8: 
patrick@8: acronym = element acronym { acronym.content }
patrick@8: 
patrick@8: acronym.content = inlines
patrick@8: 
Patrick@140: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ mentioned ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@140: 
Patrick@140: mentioned = element mentioned { mentioned.content }
Patrick@140: 
Patrick@140: mentioned.content = inlines
Patrick@140: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ term ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@8: 
patrick@8: term = element term { term.content }
patrick@8: 
patrick@8: term.content = inlines
patrick@8: 
Patrick@140: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ literal ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Patrick@140: 
Patrick@140: literal = element literal { literal.content }
Patrick@140: 
Patrick@140: literal.content = text
Patrick@140: 
patrick@36: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@0: 
patrick@0: link = element link { link.attributes, link.content }
patrick@0: 
patrick@9: link.attributes =
patrick@42:    (uri.attribute | idref.attribute)
patrick@9: uri.attribute = attribute uri { xsd:anyURI }
patrick@9: idref.attribute = attribute idref { xsd:IDREF }
patrick@0: 
patrick@0: link.content = inlines
patrick@42: 
patrick@42: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ anchor ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@42: 
Patrick@147: anchor = element anchor { anchor.attributes, anchor.content }
patrick@42: 
patrick@42: anchor.attributes =
patrick@42:    anchor.id.attribute
patrick@42: anchor.id.attribute = attribute xml:id { xsd:ID }
patrick@91: 
Patrick@147: anchor.content = inlines
Patrick@147: 
patrick@91: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ initial ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@91: 
patrick@91: initial = element initial { initial.content }
patrick@91: 
patrick@91: initial.content =
patrick@91:    c,
patrick@91:    w?
patrick@91: 
patrick@91: c = element c { text }
patrick@105: 
patrick@105: # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ smil ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
patrick@105: 
patrick@105: smil = element smil { smil.attributes, smil.content }
patrick@105: 
patrick@105: smil.attributes =
patrick@105:    begin.attribute?
patrick@105:  & end.attribute?
patrick@105: begin.attribute = attribute begin { xsd:decimal }
patrick@105: end.attribute = attribute end { xsd:decimal }
patrick@105: 
patrick@105: smil.content = inlines