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