8.5.2.7 IfcMonthInYearNumber
8.5.2.7.1 Semantic definition
IfcMonthInYearNumber is an integer that defines the position of the specified month in a year.
Calendar month numbers map to calendar month names as follows:
- 1: January
- 2: February
- 3: March
- 4: April
- 5: May
- 6: June
- 7: July
- 8: August
- 9: September
- 10: October
- 11: November
- 12: December
Type: INTEGER
8.5.2.7.2 Formal Propositions
| ValidRange | <html><body><p>The valid range for positioning a month in a year is min inclusive = 1 and max inclusive = 12.</p></body></html>{1 <= SELF <= 12}
|
8.5.2.7.3 Formal representation
TYPE IfcMonthInYearNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 12};
END_TYPE;