IfcUniquePropertyName

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;