8.5.2.3 IfcDayInMonthNumber

IfcDayInMonthNumber is an integer that defines the position of the specified day in a month.

Type: INTEGER

HISTORY  New type in IFC1.5.1.
IFC4 CHANGE  Where rule ValidRange added.

XSD Specification:

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

EXPRESS Specification:

TYPE IfcDayInMonthNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 31}
END_TYPE;

Link to EXPRESS-G diagram EXPRESS-G diagram

Formal Propositions:

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

Link to this page  Link to this page