IfcDayInMonthNumber

IfcDayInMonthNumber

类型定义

IfcDayInMonthNumber是一个整数，用于定义指定日期在一个月中的位置。

 

类型：整数

 

IFC1.5.1中的新型。

IFC4 添加规则ValidRange的位置

 

Formal Propositions

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

 

 

EXPRESS Specification

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

 

 

###################################