8.12.2.19 IfcTextDecoration（文本装饰）
8.12.2.19.1 语义定义（Semantic definition）
IfcTextDecoration 描述添加到元素文本上的装饰效果。可选值包括：
- none（无装饰）
- underline（下划线）
- overline（上划线）
- line-through（删除线）
注意 该类型源自 CSS-1 中定义的 text-decoration 属性。
8.12.2.19.2 形式化命题（Formal propositions）
| WR1 | <html><body><p>文本装饰的允许取值范围。</p></body></html>SELF IN ['none', 'underline', 'overline', 'line-through', 'blink'] |
8.12.2.19.3 形式化表示（Formal representation）
TYPE IfcTextDecoration = STRING;
WHERE
WR1 : SELF IN ['none', 'underline', 'overline', 'line-through', 'blink'];
END_TYPE;