IfcMonthInYearNumber

Natural language names
Month In Year Number
Nombre de mois dans l'année
Semantic definitions at the type
Type 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:

Type: INTEGER

NOTE  See definition of calendar month as defined in ISO 8601.

HISTORY  New type in IFC1.5.1.

Formal Propositions
RuleDescription
ValidRangeThe valid range for positioning a month in a year is min inclusive = 1 and max inclusive = 12.
Formal representations
XML Specification
 <xs:simpleType name="IfcMonthInYearNumber">
  <xs:restriction base="xs:long"/>
 </xs:simpleType>
EXPRESS Specification
TYPE IfcMonthInYearNumber = INTEGER;
 WHERE
  ValidRange : {1 <= SELF <= 12}
END_TYPE;

Link to EXPRESS-G diagram EXPRESS-G diagram

References  References: IfcRecurrencePattern

Link to this page  Link to this page