IfcDayInWeekNumber

Item	SPF	XML	Change	Description
IFC2x3 to IFC4
IfcDayInWeekNumber			ADDED

Semantic definitions at the type

Type definition

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.

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

Formal representations

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;


 EXPRESS-G diagram

	Day In Week Number
	Numéro du jour de la semaine