IFC 4.3.0.0 (IFC4X3) final

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}
Table 8.5.2.7.A

8.5.2.7.3 Formal representation

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

8.5.2.7.4 References