------------------------------------------------------------------ -- -- NAME: WSR_EVENT_OPERATIONS -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file: wsr_event_ops_1c.ada -- level: 1c, 2c with GKS_TYPES; with WS_STATE_LIST_TYPES; use GKS_TYPES; package WSR_EVENT_OPERATIONS is -- This package is a workstation resource package that does error -- checking at the workstation driver level for a flush device events. procedure FLUSH_DEVICE_EVENTS (WS_SL : in WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in EVENT_OVERFLOW_DEVICE_NUMBER; CLASS : in INPUT_QUEUE_CLASS; ERROR_INDICATOR : out ERROR_NUMBER); end WSR_EVENT_OPERATIONS;