#### 8.9.2.16 IfcNonNegativeLengthMeasure

A non-negative length measure is a length measure that is greater than or equal to zero.

Type: IfcLengthMeasure

> HISTORY New type in IFC4.

XSD Specification:

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

EXPRESS Specification:

TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
| WHERE
NotNegative | : | SELF >= 0. |
END_TYPE;

Formal Propositions:

NotNegative | : | A non-negative measure shall be greater than or equal to zero.

Link to this page