<<>> <> <> <> <> <<>> DIRECTORY DeviceTypes; DeviceClassTypes: CEDAR DEFINITIONS = BEGIN Device: TYPE = DeviceTypes.Device; DeviceClass: TYPE = REF DeviceClassObj; DeviceClassObj: TYPE = RECORD [ name: ATOM, getDeviceState: GetDeviceStateProc ]; DeviceState: TYPE = DeviceTypes.DeviceState; GetDeviceStateProc: TYPE = PROC [device: Device] RETURNS [state: DeviceState]; <> END.