8.3.2.6 IfcMonthInYearNumber

IfcMonthInYearNumber is an integer that defines the position of the specified month in a year.

Calendar month numbers map to calendar month names as follows:

Type: INTEGER

NOTE  See definition of calendar month as defined in ISO 8601.
HISTORY  New type in IFC1.5.1.

XSD Specification:

 <xs:simpleType name="IfcMonthInYearNumber">
  <xs:restriction base="xs:long"/>
 </xs:simpleType>
 <xs:element name="IfcMonthInYearNumber-wrapper" nillable="true">
  <xs:complexType>
   <xs:simpleContent>
    <xs:extension base="ifc:IfcMonthInYearNumber">
     <xs:attributeGroup ref="ifc:instanceAttributes"/>
    </xs:extension>
   </xs:simpleContent>
  </xs:complexType>
 </xs:element>

EXPRESS Specification:

TYPE IfcMonthInYearNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 12}
END_TYPE;

Formal Propositions:

ValidRange : The valid range for positioning a month in a year is min inclusive = 1 and max inclusive = 12.

Link to this page  Link to this page