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]+)?)" }
|
| 例 | |
