RelaxNG/publiset.rnc
changeset 117 fb3173d57512
parent 101 3ec3b2eceeb8
child 126 59658f3a4f6f
equal deleted inserted replaced
116:bd4ff455b83f 117:fb3173d57512
    33  & path.attribute?
    33  & path.attribute?
    34  & xpath.attribute?
    34  & xpath.attribute?
    35  & xslt.attribute?
    35  & xslt.attribute?
    36  & remap.attributes
    36  & remap.attributes
    37  & lang.attribute?
    37  & lang.attribute?
    38 composition.id.attribute = attribute xml:id { xsd:ID }
    38 composition.id.attribute = attribute id { xsd:NMTOKEN }
    39 path.attribute = attribute path { xsd:anyURI }
    39 path.attribute = attribute path { xsd:anyURI }
    40 xslt.attribute = attribute xslt { xsd:anyURI }
    40 xslt.attribute = attribute xslt { xsd:anyURI }
    41 xpath.attribute = attribute xpath { text }
    41 xpath.attribute = attribute xpath { text }
    42 lang.attribute = attribute xml:lang { xsd:language }
    42 lang.attribute = attribute xml:lang { xsd:language }
    43 
    43 
    71 
    71 
    72 selection.attributes =
    72 selection.attributes =
    73    selection.id.attribute
    73    selection.id.attribute
    74  & path.attribute?
    74  & path.attribute?
    75  & lang.attribute?
    75  & lang.attribute?
    76 selection.id.attribute = attribute xml:id { xsd:ID }
    76 selection.id.attribute = attribute id { xsd:NMTOKEN }
    77 
    77 
    78 selection.content =
    78 selection.content =
    79    selection.head?,
    79    selection.head?,
    80    (selection.division | selection.file | link)+
    80    (selection.division | selection.file | link)+
    81 
    81