IFC 4.3.0.0 (IFC4X3) final

8.12.3.8 IfcCurveStyleFontPattern

8.12.3.8.1 Semantic definition

8.12.3.8.2 Entity inheritance

8.12.3.8.3 Attributes

# Attribute Type Description
IfcCurveStyleFontPattern (2)
1 VisibleSegmentLength IfcLengthMeasure

The length of the visible segment in the pattern definition.

2 InvisibleSegmentLength IfcPositiveLengthMeasure

The length of the invisible segment in the pattern definition.

Table 8.12.3.8.A

8.12.3.8.4 Formal propositions

Name Description
VisibleLengthGreaterEqualZero

The value of a visible pattern length shall be equal or greater then zero.

VisibleSegmentLength >= 0.
Table 8.12.3.8.B

8.12.3.8.5 Formal representation

ENTITY IfcCurveStyleFontPattern
 SUBTYPE OF (IfcPresentationItem);
	VisibleSegmentLength : IfcLengthMeasure;
	InvisibleSegmentLength : IfcPositiveLengthMeasure;
 WHERE
	VisibleLengthGreaterEqualZero : VisibleSegmentLength >= 0.;
END_ENTITY;

8.12.3.8.6 References

8.12.3.8.7 Changelog

  • where_rules, VisibleLengthGreaterEqualZero
  • where_rules, WR01