#### 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