IFC 4.4.0.0 build 20261005 (IFC4X4_DEV_20260525) ⚠ buildingSMART Working Draft. All content is under development.

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

{ .note}

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 A

8.5.2.7.3 Formal representation

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

8.5.2.7.4 References

IfcRecurrencePattern

Edit on Github

3 contributor(s):
Last change: Improve definition split (#876) * bring back headers headers were previously removed by mistake, now bringing them back * add new lines and rename the tag add the word 'short' in it * unify newlines make exactly one newline before and two after the tag * resolving typos Because bringing back headers required to go back in time to previous version, I'm now re-resolving the issues: #861, #860, #856 by ArturTomczak on 2024-07-16T16:07:28+02:00

Is this page difficult to understand? Let us know!

8.5.2.7.5 Changelog

8.5.2.7.5.1 IFC4

where rule, ValidRange
where rule, WR1