IfcMonthInYearNumber
类型定义
IfcMonthInYearNumber是一个整数，用于定义指定月份在一年中的位置。
日历月编号映射到日历月名称，如下所示：
- 1: January
- 2: February
- 3: March
- 4: April
- 5: May
- 6: June
- 7: July
- 8: August
- 9: September
- 10: October
- 11: November
- 12: December
类型：整数
注：参见ISO 8601中对日历月的定义。
IFC1.5.1中的新型。
Formal Propositions
| Rule | Description |
|---|---|
| ValidRange | The valid range for positioning a month in a year is min inclusive = 1 and max inclusive = 12. |
EXPRESS Specification
TYPE IfcMonthInYearNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 12}
END_TYPE;
#######################################
标签：12,inclusive,日历,整数,IfcMonthInYearNumber,ValidRange From： https://www.cnblogs.com/herd/p/17562704.html