IfcNonNegativeLengthMeasure

Item	SPF	XML	Change	Description
IFC2x3 to IFC4
IfcNonNegativeLengthMeasure			ADDED

Semantic definitions at the type

Type definition

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

HISTORY New type in IFC4.

Rule	Description
NotNegative	A non-negative measure shall be greater than or equal to zero.

Formal representations

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;


 EXPRESS-G diagram

	Non Negative Length Measure
	Mesure de longueur positive ou nulle