Navigation
Navigate Navigate Navigate Navigate Navigate Navigate

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.