7.7.2.3 IfcMarineFacilityTypeEnum(海事设施类型枚举)
7.7.2.3.1 语义定义(Semantic definition)
收集所有可能的海洋设施类型的预定义类型容器。
7.7.2.3.2 类型值
| 类型 | 描述 |
|---|---|
BARRIERBEACH
| |
BREAKWATER
| |
CANAL
| |
DRYDOCK
| |
FLOATINGDOCK
| |
HYDROLIFT
| |
JETTY
| |
LAUNCHRECOVERY
| |
MARINEDEFENCE
| |
NAVIGATIONALCHANNEL
| |
PORT
| |
QUAY
| |
REVETMENT
| |
SHIPLIFT
| |
SHIPLOCK
| |
SHIPYARD
| |
SLIPWAY
| |
WATERWAY
| |
WATERWAYSHIPLIFT
| |
USERDEFINED
| |
NOTDEFINED
|
7.7.2.3.3 形式化表示(Formal representation)
TYPE IfcMarineFacilityTypeEnum = ENUMERATION OF
(BARRIERBEACH
,BREAKWATER
,CANAL
,DRYDOCK
,FLOATINGDOCK
,HYDROLIFT
,JETTY
,LAUNCHRECOVERY
,MARINEDEFENCE
,NAVIGATIONALCHANNEL
,PORT
,QUAY
,REVETMENT
,SHIPLIFT
,SHIPLOCK
,SHIPYARD
,SLIPWAY
,WATERWAY
,WATERWAYSHIPLIFT
,USERDEFINED
,NOTDEFINED);
END_TYPE;