IfcAddress

Definition from IAI: An abstract entity type for various kinds of postal and telecom addresses.

> HISTORY New entity in IFC Release 1.5.1.

EXPRESS specification:

ENTITY IfcAddress
ABSTRACT SUPERTYPE OF | (ONEOF(IfcPostalAddress, IfcTelecomAddress));
Purpose | : | OPTIONAL IfcAddressTypeEnum;
Description | : | OPTIONAL IfcText;
UserDefinedPurpose | : | OPTIONAL IfcLabel;
INVERSE
OfPerson | : | SET OF IfcPerson FOR Addresses;
OfOrganization | : | SET OF IfcOrganization FOR Addresses;
WHERE
WR1 | : | (NOT(EXISTS(Purpose))) OR ((Purpose <> IfcAddressTypeEnum.USERDEFINED) OR ((Purpose = IfcAddressTypeEnum.USERDEFINED) AND EXISTS(SELF.UserDefinedPurpose)));
END_ENTITY;

Attribute definitions:

Purpose | : | Identifies the logical location of the address.
Description | : | Text that relates the nature of the address.
UserDefinedPurpose | : | Allows for specification of user specific purpose of the address beyond the enumeration values provided by Purpose attribute of type IfcAddressTypeEnum. When a value is provided for attribute UserDefinedPurpose, in parallel the attribute Purpose shall have enumeration value USERDEFINED.
OfPerson | : | The inverse relationship to Person to whom address is associated.
OfOrganization | : | The inverse relationship to Organization to whom address is associated.

Formal Propositions:

WR1 | : | Either attribute value Purpose is not given, or when attribute Purpose has enumeration value USERDEFINED then attribute UserDefinedPurpose shall also have a value.

Inheritance graph

ENTITY IfcAddress;
ENTITY IfcAddress;
Purpose | : | OPTIONAL IfcAddressTypeEnum;
Description | : | OPTIONAL IfcText;
UserDefinedPurpose | : | OPTIONAL IfcLabel;
INVERSE
OfPerson | : | SET OF IfcPerson FOR Addresses;
OfOrganization | : | SET OF IfcOrganization FOR Addresses;
END_ENTITY;