8.21.2.3 IfcStateEnum（状态枚举）

8.21.2.3.1 语义定义（Semantic definition）

IfcStateEnum 枚举用于标识对象的状态或可访问性（例如，读/写、锁定）。

有效枚举值包括：

IFC2x3变更 该概念最初在IFC2.0中作为BINARY(3) FIXED类型的_IfcModifiedFlag_引入，并在R2x3版本中修改为枚举类型。该概念的引入最初是为实现部分模型交换功能的第一步，主要供模型服务器使用，以便应用程序能够识别对象的状态。

8.21.2.3.2 类型值

类型	描述
LOCKED	对象处于锁定状态。应用程序不可访问该对象。
READONLY	对象处于只读状态。应用程序可查看但不可修改该对象。
READONLYLOCKED	对象处于只读锁定状态。应用程序不可访问该对象。
READWRITE	对象处于读写状态。应用程序可对其进行修改。
READWRITELOCKED	对象处于读写锁定状态。应用程序不可访问该对象。

8.21.2.3.3 形式化表示（Formal representation）

TYPE IfcStateEnum = ENUMERATION OF
	(LOCKED
	,READONLY
	,READONLYLOCKED
	,READWRITE
	,READWRITELOCKED);
END_TYPE;

8.21.2.3.4 参考文献

• IfcOwnerHistory
• IfcSimplePropertyTemplate