8.12.2.22 IfcTextTransformation(文本变换)
8.12.2.22.1 语义定义(Semantic definition)
IfcTextTransformation 描述字符大小写的处理方式。取值包括:
- capitalize:将每个单词的首字母转换为大写
- uppercase:将元素的所有字母转换为大写
- lowercase:将元素的所有字母转换为小写
- none
8.12.2.22.2 形式化命题(Formal propositions)
| WR1 | <html><body><p>文本变换的允许取值。</p></body></html>SELF IN ['capitalize', 'uppercase', 'lowercase', 'none'] |
8.12.2.22.3 形式化表示(Formal representation)
TYPE IfcTextTransformation = STRING;
WHERE
WR1 : SELF IN ['capitalize', 'uppercase', 'lowercase', 'none'];
END_TYPE;