#### 8.5.2.7 IfcPositiveLengthMeasure

An IfcPositiveLengthMeasure is a length measure that is greater than zero.

Type: IfcLengthMeasure

> NOTE Type adapted from positive_length_measure defined in ISO 10303-41.

> HISTORY New type in IFC1.5.1.

XSD Specification:

<xs:simpleType name="IfcPositiveLengthMeasure">
<xs:restriction base="ifc:IfcLengthMeasure"/>
</xs:simpleType>
<xs:element name="IfcPositiveLengthMeasure-wrapper" nillable="true">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="ifc:IfcPositiveLengthMeasure">
<xs:attributeGroup ref="ifc:instanceAttributes"/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
</xs:element>

EXPRESS Specification:

TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;
| WHERE
WR1 | : | SELF > 0. |
END_TYPE;

Formal Propositions:

WR1 | : | A positive measure shall be greater than zero.

Link to this page