8.16.3.10 IfcPropertyListValue

RV ⓘ

AbV ⓘ

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	-

Table 8.16.3.10.A — List property with values, measure types and units

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. IFC4-CHANGE 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. IFC4-CHANGE 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. IFC4-CHANGE 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
IfcPropertyListValue (2)
3	ListValues	OPTIONAL LIST [1:?] OF IfcValue	List of property values. IFC4-CHANGE 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.

Table 8.16.3.10.B

8.16.3.10.4 Formal propositions

Name Description

WR31

All values within the list of values shall be of the same measure type.

 SIZEOF(QUERY(temp <* SELF.ListValues | 
  NOT(TYPEOF(SELF.ListValues[1]) = TYPEOF(temp))
  )) = 0

Table 8.16.3.10.C

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;

8.16.3.10.6 References

IfcSimpleProperty