IfcMonthInYearNumber
IfcMonthInYearNumber
类型定义
IfcMonthinUnderNumber是一个整数,定义了指定月份在一年中的位置。
日历月编号映射到日历月名称,如下所示:
- 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;
今天这样的日子,我们应该更加努力、自强
############################
QQ 3087438119