IfcUniquePropertyName

Natural language names
Unique Property Name
Semantic definitions at the function
Function Definition

The function gets the set of IfcProperty's. It iterates through the Name attibute of the IfcProperty's and verifies that no Name appears twice.

HISTORY  New function in IFC4

Formal representations
EXPRESS Specification

FUNCTION IfcUniquePropertyName
(Properties : SET [1:?] OF IfcProperty)
:LOGICAL;

LOCAL
   Names : SET OF IfcIdentifier := [];
END_LOCAL;

REPEAT i:=1 TO HIINDEX(Properties);
   Names := Names + Properties[i].Name;
END_REPEAT;

RETURN (SIZEOF(Names) = SIZEOF(Properties));

END_FUNCTION;

References  References: IfcPropertySet IfcComplexProperty

Link to this page  Link to this page