8.1.3.2 IfcAddress（地址）
RV ⓘ
AbV ⓘ
抽象 该定义可能不会被直接实例化。
8.1.3.2.1 语义定义（Semantic definition）
此抽象实体表示各种类型的邮政和电信地址。
8.1.3.2.2 实体继承（Entity inheritance）
8.1.3.2.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcAddress (5) | |||
| 1 | Purpose | OPTIONAL IfcAddressTypeEnum |
标识地址的逻辑位置。 |
| 2 | Description | OPTIONAL IfcText |
描述地址性质的文本。 |
| 3 | UserDefinedPurpose | OPTIONAL IfcLabel |
允许在 IfcAddressTypeEnum 类型的 Purpose 属性提供的枚举值之外，指定用户特定的地址用途。 当为属性 UserDefinedPurpose 提供值时，同时属性 Purpose 应具有枚举值 USERDEFINED。 |
| OfPerson | SET [0:?] OF IfcPerson FOR Addresses |
与地址关联的人员的反向关系。 |
|
| OfOrganization | SET [0:?] OF IfcOrganization FOR Addresses |
与地址关联的组织的反向关系。 |
|
8.1.3.2.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| WR1 |
无可用描述 |
|
|
8.1.3.2.5 形式化表示（Formal representation）
ENTITY IfcAddress
ABSTRACT SUPERTYPE OF (ONEOF
(IfcPostalAddress
,IfcTelecomAddress));
Purpose : OPTIONAL IfcAddressTypeEnum;
Description : OPTIONAL IfcText;
UserDefinedPurpose : OPTIONAL IfcLabel;
INVERSE
OfPerson : SET [0:?] OF IfcPerson FOR Addresses;
OfOrganization : SET [0:?] OF IfcOrganization FOR Addresses;
WHERE
WR1 : (NOT(EXISTS(Purpose))) OR
((Purpose <> IfcAddressTypeEnum.USERDEFINED) OR
((Purpose = IfcAddressTypeEnum.USERDEFINED) AND
EXISTS(SELF.UserDefinedPurpose)));
END_ENTITY;