8.16.3.10 IfcPropertyListValue
8.16.3.10.1 Semantic definition
An IfcPropertyListValue defines a property that has several (numeric or descriptive) values assigned, these values are given by an ordered list. It defines a property - list value combination for which the property Name, an optional Description, the optional ListValues with measure type and optionally an Unit is given. An IfcPropertyListValue is a list of values. The order in which values appear is significant. All list members shall be of the same type.
The unit is handled by the Unit attribute, see Table 8.16.3.10.A for an example of a list property:
- If the Unit attribute is not given, then the unit is already implied by the type of IfcMeasureValue or IfcDerivedMeasureValue. The associated unit can be found at the IfcUnitAssignment globally defined at the project level (IfcProject.UnitsInContext).
- If the Unit attribute is given, then the unit assigned by the Unit attribute overrides the globally assigned unit.
| Name | ListValues | Type(through IfcValue) | Unit |
|---|---|---|---|
| ApplicableSizes | 1200 | IfcPositiveLengthMeasure | - |
| - | 1600 | IfcPositiveLengthMeasure | - |
| - | 2400 | IfcPositiveLengthMeasure | - |
8.16.3.10.2 Entity inheritance
8.16.3.10.3 Attributes
| # | Attribute | Type | Description |
|---|---|---|---|
| IfcPropertyAbstraction (1) | |||
| HasExternalReferences | SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects |
Reference to an external reference, e.g. library, classification, or document information, that is associated to the property definition. New inverse attribute. |
|
| IfcProperty (8) | |||
| 1 | Name | IfcIdentifier |
Name for this property. This label is the significant name string that defines the semantic meaning for the property. |
| 2 | Specification | OPTIONAL IfcText |
URI reference to a location with semantic definition or informative text to explain the property. |
| PartOfPset | SET [0:?] OF IfcPropertySet FOR HasProperties |
Reference to the IfcPropertySet by which the IfcProperty is referenced. New inverse attribute to navigate from IfcProperty to IfcPropertySet with upward compatibility for file based exchange. |
|
| PropertyForDependance | SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty |
The property on whose value that of another property depends. |
|
| PropertyDependsOn | SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty |
The relating property on which the value of the property depends. |
|
| PartOfComplex | SET [0:?] OF IfcComplexProperty FOR HasProperties |
Reference to the IfcComplexProperty in which the IfcProperty is contained. The cardinality has changed to 0..n to allow reuse of instances of IfcProperty in several IfcComplexProperty with upward compatibility for file based exchange. |
|
| HasConstraints | SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects |
User-defined constraints for the property. |
|
| HasApprovals | SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects |
User-defined approvals for the property. |
|
| Click to show 9 hidden inherited attributes Click to hide 9 inherited attributes | |||
| IfcPropertyListValue (2) | |||
| 3 | ListValues | OPTIONAL LIST [1:?] OF IfcValue |
List of property values. The attribute has been made optional with upward compatibility for file based exchange. |
| 4 | Unit | OPTIONAL IfcUnit |
Unit for the list 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.10.4 Formal propositions
| Name | Description |
|---|---|
| WR31 |
All values within the list of values shall be of the same measure type. |
|
|
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;