# (c) International Organization for Standardization 2005.
# Permission to copy in any form is granted for use with conforming
# SGML systems and applications as defined in ISO 8879,
# provided this notice is included in all copies.

default namespace = "http://purl.oclc.org/dsdl/svrl"

schematron-output =
  element schematron-output {
    attlist.schematron-output,
    \text*,
    ns*,
    (active-pattern,
     (fired-rule, (failed-assert | successful-report)*)+)+
  }
# only active patterns are reported
active-pattern =
  element active-pattern { attlist.active-pattern, empty }
# only references are reported, not the diagnostic
diagnostic-reference =
  element diagnostic-reference { attlist.diagnostic-reference, text }
# only failed assertions are reported
failed-assert =
  element failed-assert {
    attlist.failed-assert, diagnostic-reference*, \text
  }
# only rules that are fired are reported, abstract/extend handling
# should have been done before
fired-rule = element fired-rule { attlist.fired-rule, empty }
# only namespaces from sch:ns need to be reported
ns = element ns { attlist.ns, empty }
# only successful asserts are reported
successful-report =
  element successful-report {
    attlist.successful-report, diagnostic-reference*, \text
  }
\text = element text { attlist.text, text }
attlist.text &= empty
attlist.schematron-output &=
  attribute title { text }?,
  attribute phase { xsd:NMTOKEN }?,
  attribute schemaVersion { text }?
attlist.active-pattern &=
  attribute id { xsd:ID }?,
  attribute name { text }?,
  attribute role { xsd:NMTOKEN }?
attlist.diagnostic-reference &= attribute diagnostic { xsd:NMTOKEN }
attlist.failed-assert &=
  attribute id { xsd:ID }?,
  attribute location { text },
  attribute test { text },
  attribute role { xsd:NMTOKEN }?,
  attribute flag { xsd:NMTOKEN }?
attlist.fired-rule &=
  attribute id { xsd:ID }?,
  attribute context { text },
  attribute role { xsd:NMTOKEN }?,
  attribute flag { xsd:NMTOKEN }?
attlist.ns &=
  attribute prefix { xsd:NMTOKEN },
  attribute uri { text }
attlist.successful-report &=
  attribute id { xsd:ID }?,
  attribute location { text },
  attribute test { text },
  attribute role { xsd:NMTOKEN }?,
  attribute flag { xsd:NMTOKEN }?
start = schematron-output