data.point
data.point defines the data type used to express a point in cartesian space. | |
Modul | tei — 1 The TEI Infrastructure |
Verwendet von | Klasse:
|
Deklaration |
data.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> |