8.16.3.9 IfcPropertyEnumeration（属性枚举）
8.16.3.9.1 语义定义（Semantic definition）
IfcPropertyEnumeration 是一个简单值或度量值的集合，定义了一组预设的备选项，从中选择"枚举值"。这使得属性集中可以包含枚举值。IfcPropertyEnumeration 为枚举提供名称以及唯一值（数值或描述性）列表（可分配度量类型）。该实体定义了潜在的枚举器列表，可与 IfcPropertyEnumeratedValue 类型的属性一起（或分别）交换，这些属性从此枚举中选择实际属性值。
单位通过 Unit 属性处理，表1展示了一个无单位属性枚举的示例：
- 如果未提供 Unit 属性，则单位已通过 IfcMeasureValue 或 IfcDerivedMeasureValue 的类型隐含。相关单位可在项目级别全局定义的 IfcUnitAssignment 中找到（IfcProject.UnitsInContext）。
- 如果提供了 Unit 属性，则单位属性分配的单位将覆盖全局分配的单位。
| 名称 | 枚举值 | 类型（通过 IfcValue） | 单位 |
|---|---|---|---|
| PEnum_DamperBladeAction | Parallel | IfcLabel | - |
| Opposed | IfcLabel | ||
| Other | IfcLabel | ||
| Unset | IfcLabel |
8.16.3.9.2 实体继承（Entity inheritance）
8.16.3.9.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcPropertyAbstraction (1) | |||
| HasExternalReferences | SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects |
引用与属性定义相关联的外部引用，例如库、分类或文档信息。 |
|
| 点击显示 1 个隐藏的继承特性 点击隐藏 1 个继承特性 | |||
| IfcPropertyEnumeration (3) | |||
| 1 | Name | IfcLabel |
Name of this enumeration. |
| 2 | EnumerationValues | LIST [1:?] OF UNIQUE IfcValue |
List of values that form the enumeration. |
| 3 | Unit | OPTIONAL IfcUnit |
Unit for the enumerator values, if not given, the default value for the measure type (given by the TYPE of nominal value) is used as defined by the global unit assignment at IfcProject. |
8.16.3.9.4 形式化命题（Formal propositions）
| 名称（Name） | 描述（Description） |
|---|---|
| WR01 |
EnumerationValues 列表中的所有值应具有相同的度量类型。 |
|
|
| UR1 | The attribute Name should be unique |
8.16.3.9.5 形式化表示（Formal representation）
ENTITY IfcPropertyEnumeration
SUBTYPE OF (IfcPropertyAbstraction);
Name : IfcLabel;
EnumerationValues : LIST [1:?] OF UNIQUE IfcValue;
Unit : OPTIONAL IfcUnit;
UNIQUE
UR1 : Name;
WHERE
WR01 : SIZEOF(QUERY(temp <* SELF.EnumerationValues |
NOT(TYPEOF(SELF.EnumerationValues[1]) = TYPEOF(temp))
)) = 0;
END_ENTITY;