xref: /aosp_15_r20/external/libxml2/test/schematron/zvon10.sct (revision 7c5688314b92172186c154356a6374bf7684c3ca) 
1*7c568831SAndroid Build Coastguard Worker<schema xmlns="http://www.ascc.net/xml/schematron" >
2*7c568831SAndroid Build Coastguard Worker     <pattern name="Open model">
3*7c568831SAndroid Build Coastguard Worker          <rule context="AAA">
4*7c568831SAndroid Build Coastguard Worker               <assert test="BBB"> BBB element is not present</assert>
5*7c568831SAndroid Build Coastguard Worker               <assert test="CCC"> CCC element is not present</assert>
6*7c568831SAndroid Build Coastguard Worker          </rule>
7*7c568831SAndroid Build Coastguard Worker     </pattern>
8*7c568831SAndroid Build Coastguard Worker     <pattern name="Closed model">
9*7c568831SAndroid Build Coastguard Worker          <rule context="AAA">
10*7c568831SAndroid Build Coastguard Worker               <assert test="BBB"> BBB element is not present</assert>
11*7c568831SAndroid Build Coastguard Worker               <assert test="CCC"> CCC element is not present</assert>
12*7c568831SAndroid Build Coastguard Worker               <assert test="count(BBB|CCC) = count (*)">There is an extra element</assert>
13*7c568831SAndroid Build Coastguard Worker          </rule>
14*7c568831SAndroid Build Coastguard Worker     </pattern>
15*7c568831SAndroid Build Coastguard Worker</schema>
16