teidata.point

teidata.point defines the data type used to express a point in cartesian space.
Modultei — The TEI Infrastructure
Verwendet von
Klasse:
Element:
Content model
<content>
 <dataRef name="token"
  restriction="(-?[0-9]+(\.[0-9]+)?,-?[0-9]+(\.[0-9]+)?)"/>
</content>
Deklaration
<rng:define name="teidata.point">
 <rng:data type="token">
  <rng:param name="pattern">(-?[0-9]+(\.[0-9]+)?,-?[0-9]+(\.[0-9]+)?)</rng:param>
 </rng:data>
</rng:define>
teidata.point = token { pattern = "(-?[0-9]+(\.[0-9]+)?,-?[0-9]+(\.[0-9]+)?)" }
Beispiel
<facsimile>
 <surface ulx="0" uly="0" lrx="400" lry="280">
  <zone points="220,100 300,210 170,250 123,234">
   <graphic url="handwriting.png "/>
  </zone>
 </surface>
</facsimile>