IfcMonthInYearNumber

IfcMonthInYearNumber

类型定义

IfcMonthinUnderNumber是一个整数，定义了指定月份在一年中的位置。

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

• 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;

 

 

今天这样的日子，我们应该更加努力、自强

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