IfcPositivePlaneAngleMeasure

Semantic definitions at the type

Type definition

A positive pla

Definition from ISO/CD 10303-41:1992: Positive plane angle measure is a plane angle measure that is greater than zero.

NOTE Corresponding STEP name: positive_plane_angle_measure, please refer to ISO/IS 10303-41:1994 for the final definition of the formal standard.

HISTORY New type in IFC Release 1.5.1.

Rule	Description
WR1	A positive measure shall be greater than zero.

Formal representations

XSD Specification

 <xs:simpleType name="IfcPositivePlaneAngleMeasure">

  <xs:restriction base="ifc:IfcPlaneAngleMeasure"/>

 </xs:simpleType>

 <xs:element name="IfcPositivePlaneAngleMeasure-wrapper" nillable="true">

  <xs:complexType>

   <xs:simpleContent>

    <xs:extension base="ifc:IfcPositivePlaneAngleMeasure">

     <xs:attributeGroup ref="ifc:instanceAttributes"/>

    </xs:extension>

   </xs:simpleContent>

  </xs:complexType>

 </xs:element>

EXPRESS Specification


TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
 WHERE

  WR1 : SELF > 0.
END_TYPE;


 EXPRESS-G diagram