IFC 4.3.0.0 (IFC4X3) final

8.12.2.19 IfcTextDecoration

8.12.2.19.1 Semantic definition

The IfcTextDecoration describes decorations that are added to the text of an element. Values are:

  • none
  • underline
  • overline
  • line-through

8.12.2.19.2 Formal Propositions

WR1<html><body><p>Allowable values for text decoration.</p></body></html>
SELF IN ['none', 'underline', 'overline', 'line-through', 'blink']
Table 8.12.2.19.A

8.12.2.19.3 Formal representation

TYPE IfcTextDecoration = STRING;
 WHERE
	 WR1 : SELF IN ['none', 'underline', 'overline', 'line-through', 'blink'];
END_TYPE;

8.12.2.19.4 References