<<>> <> <> <> <> <<>> DIRECTORY DeviceTypes; Devices: CEDAR DEFINITIONS = BEGIN Device: TYPE = DeviceTypes.Device; DeviceClass: TYPE = DeviceTypes.DeviceClass; DeviceState: TYPE = DeviceTypes.DeviceState; QuaClass: PROC [ref: REF] RETURNS [class: DeviceClass]; <> <<>> NameOfClass: PROC [class: DeviceClass] RETURNS [name: ATOM]; ClassOfDevice: PROC [device: Device] RETURNS [class: DeviceClass]; RegisterClass: PROC [class: DeviceClass, name: ATOM]; ClassFromName: PROC [name: ATOM] RETURNS [class: DeviceClass ¬ NIL]; StateOfDevice: PROC [device: Device] RETURNS [DeviceState]; <> <<>> END.