Page Comparison

...

• Declarations not supported:  UNIQUE , WHERE
• Extension: GENERIC_ENTITY is allowed as domain for all attribute types.
• Extension: INVERSE attribute may be declared:  ALL_LOCAL_REFS_TO_ME : SET OF  GENERIC_ENTITY;   -- no “ FOR ‘attributeName’ “
  • The attribute will return a set containing all instances that refers this instance within the same model
• Extension: INVERSE attribute may be declared:  ALL_CROSS_MODEL_REFS_TO_ME      : SET OF  GENERIC_ENTITY;  -- no “ FOR ‘attributeName’ “
  • The attribute will return a set containing all instances that refers this instance within the same database - all models

...

-- extend the IFC schema with a window suitable for cars	
ENTITY xifcWindShield SUBTYPE of IfcWindow;		
	fitsMakes : LIST OF xifcVehicle; -- list of car makes that this window will fit in
END_ENTITY;

 
ENTITY xifcVehicle;		
	brand : STRING; 	-- i.e. 'Ford'		
	model : STRING;  	-- i-e 'T'                
	year  : STRING; 	-- i.e '1921-1924'        
END_ENTITY;   

ENTITY_EXTENSION Declaration

...