IfcMonthInYearNumber

Definition from ISO/CD 10303-41:1992: The position of the specified month in a year as defined in ISO 8601 (subcaluse 5.2.1).

Type: INTEGER

> NOTE Corresponding STEP name: month_in_year_number, please refer to ISO/IS 10303-41:1994 for the final definition of the formal standard.

> HISTORY New type in IFC Release 1.5.1.

EXPRESS specification:

TYPE IfcMonthInYearNumber = INTEGER;
WHERE
WR1 | : | { 1<= SELF <= 12 };
END_TYPE;

Formal Propositions:

WR1 | : | The value of integer shall be between 1 and 12.