共用方式為


規則運算式

表示字串集合的字元序列 (也可表示為 L(R))。用於約束語意空間時,規則運算式會堅持只有字串集合中的字串是該型別值的有效常值。

規則運算式是由零或多個分支 (以「或」(|) 字元隔開) 組成。

語法

regExp :: = branch ('|' branch) *

備註

下表顯示有效規則運算式 R 及其字串集合 L(R)

所有分支 S 和規則運算式 T 的有效規則運算式 R 字串集合 L(R)

(空字串)

只包含空字串的集合。

S

L(S) 中的所有字串。

S|T

L(S) 中的所有字串和 L(T) 中的所有字串。

另請參閱

參考

XML 結構描述規則運算式
XML 結構描述規則運算式參考圖表
分支

概念

資料型別 Facet