------------------------------------------------------------------ -- -- NAME: EVENT_OPERATIONS -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file: event_operations.ada -- level: mc, 0c, 1c, 2c with GKS_TYPES; use GKS_TYPES; package EVENT_OPERATIONS is -- This package provides the subprograms to remove events from the -- input queue. procedure AWAIT_EVENT (TIMEOUT : in DURATION; WS : out WS_ID; CLASS : out INPUT_CLASS; DEVICE : out EVENT_DEVICE_NUMBER); procedure FLUSH_DEVICE_EVENTS (WS : in WS_ID; CLASS : in INPUT_QUEUE_CLASS; DEVICE : in EVENT_OVERFLOW_DEVICE_NUMBER); end EVENT_OPERATIONS;