IfcMonthInYearNumber

IfcMonthInYearNumber

类型定义

IfcMonthInYearNumber是一个整数，用于定义指定月份在一年中的位置。

日历月编号映射到日历月名称，如下所示：

• 1: January
• 2: February
• 3: March
• 4: April
• 5: May
• 6: June
• 7: July
• 8: August
• 9: September
• 10: October
• 11: November
• 12: December

 

类型：整数

注：参见ISO 8601中对日历月的定义。

IFC1.5.1中的新型。

 

Formal Propositions

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

 

 

EXPRESS Specification

TYPE IfcMonthInYearNumber = INTEGER;
 WHERE
  ValidRange : {1 <= SELF <= 12}
END_TYPE;

 

 

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