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

8.5.2.4 IfcDayInMonthNumber

8.5.2.4.1 Semantic definition

IfcDayInMonthNumber is an integer that defines the position of the specified day in a month.

Type: INTEGER

{ .change-ifc2x4}

8.5.2.4.2 Formal Propositions

ValidRange

<html><body><p>The valid range for positioning a day in a month is min inclusive = 1 and max inclusive = 31.</p></body></html>

{1 <= SELF <= 31}

Table A

8.5.2.4.3 Formal representation

TYPE IfcDayInMonthNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 31};
END_TYPE;

8.5.2.4.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.4.5 Changelog

8.5.2.4.5.1 IFC4

where rule, ValidRange