IfcDayInMonthNumber

8.3.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;

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