8.16.3.10 IfcPropertyListValue（属性列表值）
RV ⓘ
AbV ⓘ
8.16.3.10.1 语义定义（Semantic definition）
IfcPropertyListValue 定义了一个具有多个（数值或描述性）赋值的属性，这些值通过有序列表提供。它定义了属性-列表值组合，其中包含属性 名称、可选的 描述、带有度量类型的可选 列表值 以及可选的 单位。IfcPropertyListValue 是一个值的列表，值的出现顺序具有重要含义，所有列表成员必须为相同类型。
单位通过 单位 属性处理，下表展示了列表属性的示例：
- 若未提供 单位 属性，则单位已通过 IfcMeasureValue 或 IfcDerivedMeasureValue 类型隐含。关联单位可在项目级别全局定义的 IfcUnitAssignment 中查找（IfcProject.UnitsInContext）。
- 若提供了 单位 属性，则通过 单位 属性指定的单位将覆盖全局分配的单位。
| 名称 | 列表值 | 类型（通过 IfcValue） | 单位 |
|---|---|---|---|
| ApplicableSizes | 1200 | IfcPositiveLengthMeasure | - |
| - | 1600 | IfcPositiveLengthMeasure | - |
| - | 2400 | IfcPositiveLengthMeasure | - |
8.16.3.10.2 实体继承（Entity inheritance）
8.16.3.10.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcPropertyAbstraction (1) | |||
| HasExternalReferences | SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects |
引用与属性定义相关联的外部引用，例如库、分类或文档信息。 |
|
| IfcProperty (8) | |||
| 1 | Name | IfcIdentifier |
此属性的名称。该标签是定义属性语义含义的重要名称字符串。 |
| 2 | Specification | OPTIONAL IfcText |
指向具有语义定义或解释性文本位置的URI引用，用于说明该属性。 |
| PartOfPset | SET [0:?] OF IfcPropertySet FOR HasProperties |
通过该属性被引用的_IfcPropertySet_的引用。 |
|
| PropertyForDependance | SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty |
其他属性的值所依赖的属性。 |
|
| PropertyDependsOn | SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty |
该属性的值所依赖的相关属性。 |
|
| PartOfComplex | SET [0:?] OF IfcComplexProperty FOR HasProperties |
包含该_IfcProperty_的_IfcComplexProperty_的引用。 |
|
| HasConstraints | SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects |
用户定义的属性约束。 |
|
| HasApprovals | SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects |
用户定义的属性审批。 |
|
| 点击显示 9 个隐藏的继承特性 点击隐藏 9 个继承特性 | |||
| IfcPropertyListValue (2) | |||
| 3 | ListValues | OPTIONAL LIST [1:?] OF IfcValue |
属性值的列表。 |
| 4 | Unit | OPTIONAL IfcUnit |
列表值的单位。若未指定，则使用度量类型（通过标称值的类型给出）的默认值，该值由 IfcProject 的全局单位分配定义。 |
8.16.3.10.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| WR31 |
值列表中的所有值必须具有相同的度量类型。 |
|
|
8.16.3.10.5 形式化表示（Formal representation）
ENTITY IfcPropertyListValue
SUBTYPE OF (IfcSimpleProperty);
ListValues : OPTIONAL LIST [1:?] OF IfcValue;
Unit : OPTIONAL IfcUnit;
WHERE
WR31 : SIZEOF(QUERY(temp <* SELF.ListValues |
NOT(TYPEOF(SELF.ListValues[1]) = TYPEOF(temp))
)) = 0;
END_ENTITY;