<<>> <> <> <> <> <<>> DIRECTORY Rope; DeviceTypes: CEDAR DEFINITIONS = BEGIN Device: TYPE = REF DeviceObj; DeviceObj: TYPE = RECORD [ name: Rope.ROPE, class: DeviceClass, data: REF ]; DeviceState: TYPE = REF DeviceStateObj; DeviceStateObj: TYPE = RECORD [ class: DeviceClass, state: REF ]; DeviceStateChange: TYPE = REF DeviceStateChangeObj; DeviceStateChangeObj: TYPE = RECORD [ class: DeviceClass, change: REF ]; DeviceClass: TYPE = REF DeviceClassObj; DeviceClassObj: TYPE; END.