Positive Length Measure | |
Mesure de longueur positive |
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.
Rule | Description |
---|---|
WR1 | A positive measure shall be greater than zero. |
<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>
TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;
WHERE
WR1 : SELF > 0.
END_TYPE;