Navigation

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

HISTORY This entity has changes after 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.

References (1):

Name Type Referred through Express-G
IfcCalendarDate Entity
Attribute 'MonthComponent'
Diagram 1