Blob Blame History Raw

namespace local = ""
default namespace mal = "http://projectmallard.org/1.0/"
start = mal_page
mal_page = element page {
  mal_page_attr,

  mal_info ?,
  mal_block_title,
  mal_block_subtitle ?,
  ( mal_block | mal_links ) *,
  mal_section *,
  mal_links *
}
mal_page_attr = (
  attribute id { xsd:NMTOKEN },
  attribute type { xsd:NMTOKEN } ?,
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_version ?,
  mal_attr_external *
)

mal_section = element section {
  mal_section_attr,

  mal_info ?,
  mal_block_title,
  mal_block_subtitle ?,
  ( mal_block | mal_links ) *,
  mal_section *,
  mal_links *
}
mal_section_attr = (
  attribute id { xsd:ID },
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)

mal_info = element info {
  mal_info_attr,
  mal_info_content
}
mal_info_attr = (
  mal_attr_external *
)
mal_info_content = (
  mal_info_desc ? &
  mal_info_credit * &
  mal_info_license * &
  mal_info_link * &
  mal_info_title * &
  mal_info_revision * &
  mal_external *
)

mal_info_credit = element credit {
  mal_info_credit_attr,
  mal_info_credit_content
}
mal_info_credit_attr = (
  attribute type { xsd:NMTOKENS } ?,
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_info_credit_content = (
  mal_info_name &
  mal_info_email * &
  mal_info_years ? &
  mal_external *
)

mal_info_link = element link {
  mal_info_link_attr,
  mal_info_link_content *
}
mal_info_link_attr = (
  attribute type { xsd:NMTOKEN },
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_link +,
  attribute group { text } ?,
  mal_attr_external *
)
mal_info_link_content = mal_external

mal_info_title = element title {
  mal_info_title_attr,
  mal_info_title_inline
}
mal_info_title_attr = (
  attribute type { xsd:NMTOKEN },
  attribute style { xsd:NMTOKENS } ?,
  attribute role { xsd:NMTOKEN } ?,
  mal_attr_external *
)
mal_info_title_inline = mal_inline

mal_info_license = element license {
  mal_info_license_attr,
  mal_info_license_content +
}
mal_info_license_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute href { text } ?,
  mal_attr_external *
)
mal_info_license_content = mal_block

mal_info_desc = element desc {
  mal_info_desc_attr,
  mal_info_desc_inline
}
mal_info_desc_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_info_desc_inline = mal_inline

mal_info_revision = element revision {
  mal_info_revision_attr,
  mal_block_title ?,
  mal_block_desc ?,
  mal_info_revision_content *
}
mal_info_revision_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute version { text } ?,
  attribute docversion { text } ?,
  attribute pkgversion { text } ?,
  attribute date { xsd:date } ?,
  attribute status { xsd:NMTOKEN } ?,
  mal_attr_external *
)
mal_info_revision_content = mal_external

mal_info_years = element years {
  mal_info_years_attr,
  mal_info_years_inline
}
mal_info_years_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_info_years_inline = mal_inline

mal_info_email = element email {
  mal_info_email_attr,
  mal_info_email_inline
}
mal_info_email_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_info_email_inline = mal_inline

mal_info_name = element name {
  mal_info_name_attr,
  mal_info_name_inline
}
mal_info_name_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_info_name_inline = mal_inline

mal_links = element links {
  mal_links_attr,
  mal_block_title ?,
  mal_links_content *
}
mal_links_attr = (
  attribute type { xsd:NMTOKEN },
  attribute style { xsd:NMTOKENS } ?,
  attribute groups { text } ?,
  mal_attr_external *
)
mal_links_content = mal_external

mal_block = (
  mal_block_elements |
  element * - (mal:* | local:*) {
    attribute * { text } *,
    ( mal_external * &
      mal_block_elements *
    )
  }
)
mal_block_elements = (  
  mal_block_code |
  mal_block_comment |
  mal_block_example |
  mal_block_figure |
  mal_block_list |
  mal_block_listing |
  mal_block_media |
  mal_block_note |
  mal_block_p |
  mal_block_quote |
  mal_block_screen |
  mal_block_steps |
  mal_block_synopsis |
  mal_block_terms |
  mal_block_tree |
  mal_table
)
mal_block_attr = empty

mal_block_code = element code {
  mal_block_code_attr,
  mal_block_code_inline
}
mal_block_code_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute mime { text } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_code_inline = mal_inline

mal_block_example = element example {
  mal_block_example_attr,
  mal_block_example_content +
}
mal_block_example_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_example_content = mal_block

mal_block_media = element media {
  mal_block_media_attr,
  mal_block_media_content *
}
mal_block_media_attr = (
  attribute type { "image" | "video" | "audio" | "application" } ?,
  attribute style { xsd:NMTOKENS } ?,
  attribute mime { text } ?,
  attribute src { text },
  attribute height { text } ?,
  attribute width { text } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_media_content = mal_block

mal_block_p = element p {
  mal_block_p_attr,
  mal_block_p_inline
}
mal_block_p_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_p_inline = mal_inline

mal_block_screen = element screen {
  mal_block_screen_attr,
  mal_block_screen_inline
}
mal_block_screen_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute mime { text } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_screen_inline = mal_inline

mal_block_quote = element quote {
  mal_block_quote_attr,
  mal_block_title ?,
  mal_block_cite ?,
  mal_block_quote_content +  
}
mal_block_quote_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_quote_content = mal_block

mal_block_comment = element comment {
  mal_block_comment_attr,
  mal_block_title ?,
  mal_block_cite ?,
  mal_block_comment_content +
}
mal_block_comment_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_comment_content = mal_block

mal_block_figure = element figure {
  mal_block_figure_attr,
  mal_block_title ?,
  mal_block_desc ?,
  mal_block_figure_content +
}
mal_block_figure_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_figure_content = mal_block

mal_block_listing = element listing {
  mal_block_listing_attr,
  mal_block_title ?,
  mal_block_desc ?,
  mal_block_listing_content +
}
mal_block_listing_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_listing_content = mal_block

mal_block_note = element note {
  mal_block_note_attr,
  mal_block_title ?,
  mal_block_note_content +
}
mal_block_note_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_note_content = mal_block

mal_block_synopsis = element synopsis {
  mal_block_synopsis_attr,
  mal_block_title ?,
  mal_block_desc ?,
  mal_block_synopsis_content +
}
mal_block_synopsis_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_synopsis_content = mal_block

mal_block_list = element list {
  mal_block_list_attr,
  mal_block_title ?,
  mal_block_list_item +
}
mal_block_list_attr = (
  attribute type { xsd:NMTOKEN } ?,
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_list_item = element item {
  mal_block_list_item_attr,
  mal_block_list_item_content +
}
mal_block_list_item_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_list_item_content = mal_block

mal_block_steps = element steps {
  mal_block_steps_attr,
  mal_block_title ?,
  mal_block_steps_item +
}
mal_block_steps_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_steps_item = element item {
  mal_block_steps_item_attr,
  mal_block_steps_item_content +
}
mal_block_steps_item_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_steps_item_content = mal_block

mal_block_terms = element terms {
  mal_block_terms_attr,
  mal_block_title ?,
  mal_block_terms_item +
}
mal_block_terms_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_terms_item = element item {
  mal_block_terms_item_attr,
  mal_block_title +,
  mal_block_terms_item_content +
}
mal_block_terms_item_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_terms_item_content = mal_block

mal_block_tree = element tree {
  mal_block_tree_attr,
  mal_block_title ?,
  mal_block_tree_item +
}
mal_block_tree_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_block_attr,
  mal_attr_external *
)
mal_block_tree_item = element item {
  mal_block_tree_item_attr,
  mal_block_tree_item_inline,
  mal_block_tree_item *
}
mal_block_tree_item_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_tree_item_inline = mal_inline

mal_table = element table {
  mal_table_attr,

  mal_block_title ?,
  mal_block_desc ?,

  ( mal_table_col + |
    mal_table_colgroup +
  ) ?,

  ( mal_table_tr + |
    ( mal_table_thead ?,
      mal_table_tbody +,
      mal_table_tfoot ?
    )
  )
}
mal_table_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute frame {
    "all" | "none" |
    list { ("top" | "bottom" | "left" | "right") * }
  } ?,
  attribute rules {
    "all" | "groups" | "none" |
    list { ("rows" | "rowgroups" | "cols" | "colgroups") * }
  } ?,
  attribute shade {
    "all" | "groups" | "none" |
    list { ("rows" | "rowgroups" | "cols" | "colgroups") * }
  } ?,
  mal_block_attr,
  mal_attr_external *
)

mal_table_col = element col {
  mal_table_col_attr
}
mal_table_col_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_table_colgroup = element colgroup {
  mal_table_colgroup_attr,
  mal_table_col *
}
mal_table_colgroup_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)

mal_table_tr = element tr {
  mal_table_tr_attr,
  mal_table_td *
}
mal_table_tr_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_table_thead = element thead {
  mal_table_thead_attr,
  mal_table_tr +
}
mal_table_thead_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_table_tbody = element tbody {
  mal_table_tbody_attr,
  mal_table_tr +
}
mal_table_tbody_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_table_tfoot = element tfoot {
  mal_table_tfoot_attr,
  mal_table_tr +
}
mal_table_tfoot_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)

mal_table_td = element td {
  mal_table_td_attr,
  mal_table_td_content *
}
mal_table_td_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute rowspan { text } ?,
  attribute colspan { text } ?,
  mal_attr_external *
)
mal_table_td_content = mal_block

mal_block_title = element title {
  mal_block_title_attr,
  mal_block_title_inline
}
mal_block_title_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_title_inline = mal_inline

mal_block_subtitle = element subtitle {
  mal_block_subtitle_attr,
  mal_block_subtitle_inline
}
mal_block_subtitle_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_subtitle_inline = mal_inline

mal_block_desc = element desc {
  mal_block_desc_attr,
  mal_block_desc_inline
}
mal_block_desc_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_attr_external *
)
mal_block_desc_inline = mal_inline

mal_block_cite = element cite {
  mal_block_cite_attr,
  mal_block_cite_inline
}
mal_block_cite_attr = (
  attribute style { xsd:NMTOKENS } ?,
  attribute date { text } ?,
  attribute href { text } ?,
  mal_attr_external *
)
mal_block_cite_inline = mal_inline

mal_inline = (
  mal_inline_app * &
  mal_inline_cmd * &
  mal_inline_code * &
  mal_inline_em * &
  mal_inline_file * &
  mal_inline_gui * &
  mal_inline_guiseq * &
  mal_inline_input * &
  mal_inline_key * &
  mal_inline_keyseq * &
  mal_inline_link * &
  mal_inline_media * &
  mal_inline_output * &
  mal_inline_span * &
  mal_inline_sys * &
  mal_inline_var * &
  element * - (mal:* | local:*) {
    attribute * { text } *,
    mal_inline
  } * &
  text ?
)
mal_inline_attr = empty

mal_inline_app = element app {
  mal_inline_app_attr,
  mal_inline_app_inline
}
mal_inline_app_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_app_inline = mal_inline

mal_inline_code = element code {
  mal_inline_code_attr,
  mal_inline_code_inline
}
mal_inline_code_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  attribute mime { text } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_code_inline = mal_inline

mal_inline_cmd = element cmd {
  mal_inline_cmd_attr,
  mal_inline_cmd_inline
}
mal_inline_cmd_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  attribute mime { text } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_cmd_inline = mal_inline

mal_inline_output = element output {
  mal_inline_output_attr,
  mal_inline_output_inline
}
mal_inline_output_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_output_inline = mal_inline

mal_inline_em = element em {
  mal_inline_em_attr,
  mal_inline_em_inline
}
mal_inline_em_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_em_inline = mal_inline

mal_inline_file = element file {
  mal_inline_file_attr,
  mal_inline_file_inline
}
mal_inline_file_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_file_inline = mal_inline

mal_inline_gui = element gui {
  mal_inline_gui_attr,
  mal_inline_gui_inline
}
mal_inline_gui_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_gui_inline = mal_inline

mal_inline_guiseq = element guiseq {
  mal_inline_guiseq_attr,
  mal_inline_guiseq_inline
}
mal_inline_guiseq_attr = (
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_guiseq_inline = (
  mal_inline_gui + &
  text
)

mal_inline_link = element link {
  mal_inline_link_attr,
  mal_inline_link_inline
}
mal_inline_link_attr = (
  mal_attr_link +,
  attribute style { xsd:NMTOKENS } ?,
  attribute role { text } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_link_inline = mal_inline

mal_inline_media = element media {
  mal_inline_media_attr,
  mal_inline_media_inline
}
mal_inline_media_attr = (
  mal_attr_link *,
  attribute type { "image" | "video" | "audio" | "application" } ?,
  attribute style { xsd:NMTOKENS } ?,
  attribute mime { text } ?,
  attribute src { text },
  attribute height { text } ?,
  attribute width { text } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_media_inline = mal_inline

mal_inline_keyseq = element keyseq {
  mal_inline_keyseq_attr,
  mal_inline_keyseq_inline
}
mal_inline_keyseq_attr = (
  attribute type { "combo" | "sequence" } ?,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_keyseq_inline = (
  mal_inline_key * &
  mal_inline_keyseq * &
  text
)

mal_inline_key = element key {
  mal_inline_key_attr,
  mal_inline_key_inline
}
mal_inline_key_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_key_inline = mal_inline

mal_inline_span = element span {
  mal_inline_span_attr,
  mal_inline_span_inline
}
mal_inline_span_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_span_inline = mal_inline

mal_inline_sys = element sys {
  mal_inline_sys_attr,
  mal_inline_sys_inline
}
mal_inline_sys_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_sys_inline = mal_inline

mal_inline_input = element input {
  mal_inline_input_attr,
  mal_inline_input_inline
}
mal_inline_input_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_input_inline = mal_inline

mal_inline_var = element var {
  mal_inline_var_attr,
  mal_inline_var_inline
}
mal_inline_var_attr = (
  mal_attr_link *,
  attribute style { xsd:NMTOKENS } ?,
  mal_inline_attr,
  mal_attr_external *
)
mal_inline_var_inline = mal_inline

mal_external = element * - (mal:* | local:*) {
  attribute * { text } *,
  ( mal_anything * &
    text ?
  )
}
mal_anything = element * {
  attribute * { text } *,
  ( mal_anything * &
    text ?
  )
}
mal_attr_external = attribute * - (mal:* | local:*) { text }

mal_attr_version = attribute version { text }

mal_attr_link = (
  attribute xref { text } |
  attribute href { text } |
  attribute action { text }
)
mal_attr_mal_link = (
  attribute mal:xref { text } ?,
  attribute mal:action { text } ?
)