#### 8.3.2.4 IfcDayInWeekNumber

The IfcDayInWeekNumber is an integer that defines the position of the specified day in a week. The positions have the following meaning that assigns the ordinal day number in the week to the Calendar day name.

Ordinal day numbers map to calendar days as follows:

- 1: Monday
- 2: Tuesday
- 3: Wednesday
- 4: Thursday
- 5: Friday
- 6: Saturday
- 7: Sunday

Type: INTEGER

> NOTE See definition of calendar week as defined in ISO 8601.

> HISTORY New type in IFC4.

XSD Specification:

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

EXPRESS Specification:

TYPE IfcDayInWeekNumber = INTEGER;
| WHERE
ValidRange | : | {1 <= SELF <= 7} |
END_TYPE;

Formal Propositions:

ValidRange | : | The valid range for positioning a day in a week is min inclusive = 1 and max inclusive = 7.

Link to this page