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