IfcPositiveInteger

Item	SPF	XML	Change	Description
IFC4 Addendum 1
IfcPositiveInteger			ADDED

Semantic definitions at the type

Type definition

IfcPositiveInteger is a defined type based on simple data type Integer with the additional restriction to positive integers (excluding zero).

In principle, the domain of IfcInteger is all integer numbers larger than zero. Here the number of bits used for the IfcInteger representation is unconstrained, but in practice it is implementation specific.

Type: INTEGER

HISTORY New type in IFC4 ADD1

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

Formal representations

XSD Specification

 <xs:simpleType name="IfcPositiveInteger">

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

 </xs:simpleType>

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

  <xs:complexType>

   <xs:simpleContent>

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

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

    </xs:extension>

   </xs:simpleContent>

  </xs:complexType>

 </xs:element>

EXPRESS Specification


TYPE IfcPositiveInteger = IfcInteger;
 WHERE

  WR1 : SELF > 0
END_TYPE;


 EXPRESS-G diagram