teidata.point
teidata.point defines the data type used to express a point in cartesian space. | |
모듈 | tei — The TEI Infrastructure |
에 의해 사용된 |
부류:
요소:
|
Content model |
<content> |
선언 |
<rng:define name="teidata.point"> teidata.point = token { pattern = "(-?[0-9]+(\.[0-9]+)?,-?[0-9]+(\.[0-9]+)?)" } |
예 |