5.1.6.3 IfcUniquePropertySetNames

5.1.6.3.1 Semantic definition

The function gets the set of IfcPropertySetDefinition's. It iterates through the Name attribute of the IfcPropertySet's

and verifies that no Name appears twice. It is called from within the function IfcUniqueDefinitionNames.

5.1.6.3.2 Formal representation

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 'IFC4X3_DEV_738df036.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;

5.1.6.3.3 References

• IfcTypeObject
• IfcUniqueDefinitionNames