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  Link to this page