IfcDayInMonthNumber

Semantic definitions at the type

Type definition

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

Type: INTEGER

HISTORY New type in IFC1.5.1.

IFC4 CHANGE Where rule ValidRange added.

Rule	Description
ValidRange	The valid range for positioning a day in a month is min inclusive = 1 and max inclusive = 31.

Formal representations

XSD Specification

 <xs:simpleType name="IfcDayInMonthNumber">

  <xs:restriction base="xs:long"/>

 </xs:simpleType>

 <xs:element name="IfcDayInMonthNumber-wrapper" nillable="true">

  <xs:complexType>

   <xs:simpleContent>

    <xs:extension base="ifc:IfcDayInMonthNumber">

     <xs:attributeGroup ref="ifc:instanceAttributes"/>

    </xs:extension>

   </xs:simpleContent>

  </xs:complexType>

 </xs:element>

EXPRESS Specification


TYPE IfcDayInMonthNumber = INTEGER;
 WHERE

  ValidRange : {1 <= SELF <= 31}
END_TYPE;


 EXPRESS-G diagram

	Day In Month Number
	Numéro du jour du mois