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