8.5.2.5 IfcDayInWeekNumber（周中日数）
8.5.2.5.1 语义定义
_IfcDayInWeekNumber_ 是一个整数，用于定义指定日期在一周中的位置。这些位置具有以下含义，将一周中的序号日映射到日历日的名称。
序号日与日历日的映射关系如下：
- 1：星期一，
- 2：星期二，
- 3：星期三，
- 4：星期四，
- 5：星期五，
- 6：星期六，
- 7：星期日。
8.5.2.5.2 形式化命题
| 名称 | 描述 |
|---|---|
| ValidRange | <html><body><p>在一周中定位某一天的有效范围是：最小值包含 1，最大值包含 7。</p></body></html>{1 <= SELF <= 7} |
8.5.2.5.3 形式化表示
TYPE IfcDayInWeekNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 7};
END_TYPE;