規則運算式
表示字串集合的字元序列 (也可表示為 L(R))。用於約束語意空間時,規則運算式會堅持只有字串集合中的字串是該型別值的有效常值。
規則運算式是由零或多個分支 (以「或」(|) 字元隔開) 組成。
語法
regExp :: = branch ('|' branch) *
備註
下表顯示有效規則運算式 R 及其字串集合 L(R)。
所有分支 S 和規則運算式 T 的有效規則運算式 R | 字串集合 L(R) |
---|---|
(空字串) |
只包含空字串的集合。 |
S |
L(S) 中的所有字串。 |
S|T |
L(S) 中的所有字串和 L(T) 中的所有字串。 |
另請參閱
參考
XML 結構描述規則運算式
XML 結構描述規則運算式參考圖表
分支