teidata.unboundedInt

teidata.unboundedInt defines an attribute value which can be either any non-negative integer or the string "unbounded".
Moduletei — The TEI Infrastructure
Used by
Class:
Element:
Content model
<content>  <alternate>
  <dataRef name="nonNegativeInteger"/>
  <valList type="closed">
   <valItem ident="unbounded"/>
  </valList>
 </alternate>
</content>
Declaration
<rng:define name="teidata.unboundedInt">
 <rng:choice>
  <rng:data type="nonNegativeInteger"/>
  <rng:choice>
   <rng:value>unbounded</rng:value>
  </rng:choice>
 </rng:choice>
</rng:define>
teidata.unboundedInt = xsd:nonNegativeInteger | ( "unbounded" )