IfcUniquePropertySetNames

Semantic definitions at the function

Function Definition

The function gets the set of IfcPropertySetDefinition's. It iterates through the Name attibute of the IfcPropertySet's and verifies that no Name appears twice. It is called from within the function IfcUniqueDefinitionNames.

HISTORY New function in IFC4 ADD1

Formal representations

EXPRESS Specification

FUNCTION IfcUniquePropertySetNames
(Properties : SET [1:?] OF IfcPropertySetDefinition)
:LOGICAL;

LOCAL
  Names : SET OF IfcLabel := [];
  Unnamed : INTEGER := 0;
END_LOCAL;

REPEAT i:=1 TO HIINDEX(Properties);
  IF 'IFC4.IFCPROPERTYSET' IN TYPEOF(Properties[i]) THEN
    Names := Names + Properties[i]\IfcRoot.Name;
  ELSE
    Unnamed := Unnamed + 1;
  END_IF;
END_REPEAT;

RETURN (SIZEOF(Names) + Unnamed = SIZEOF(Properties));
END_FUNCTION;