8.5.2.4 IfcDayInMonthNumber（月中日数）
8.5.2.4.1 语义定义
IfcDayInMonthNumber 是一个用于定义指定日期在月份中位置的整数。
类型：INTEGER
沿革 在 IFC1.5.1 中新增的类型。
8.5.2.4.2 形式化命题
| 名称 | 描述 |
|---|---|
| ValidRange | <html><body><p>用于定位月份中日期的有效值域为：最小值包含1，最大值包含31。</p></body></html>{1 <= SELF <= 31} |
8.5.2.4.3 形式化表示
TYPE IfcDayInMonthNumber = INTEGER;
WHERE
ValidRange : {1 <= SELF <= 31};
END_TYPE;