IfcDayInWeekNumber

IfcDayInWeekNumber

类型定义

IfcDayInWeekNumber是一个整数，用于定义指定日期在一周中的位置。这些位置具有以下含义，将一周中的第几天编号分配给日历日名称。

按顺序排列的日期编号映射到日历日期，如下所示：

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

 

类型：整数

注：参见ISO 8601中对日历周的定义。

IFC4中的新型。

 

Formal Propositions

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

 

EXPRESS Specification

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

 

 

##############################