------------------------------------------------------------------ -- -- NAME: INQ_GKS_ERROR_STATE_LIST -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file: inq_gks_error_lst.ada -- level: mc, 0c, 1c, 2c with GKS_TYPES; use GKS_TYPES; package INQ_GKS_ERROR_STATE_LIST is -- This package contains the procedure for inquiring the -- GKS_ERROR_STATE_LIST at level mc. procedure INQ_INPUT_QUEUE_OVERFLOW (ERROR_INDICATOR : out ERROR_NUMBER; WS : out WS_ID; CLASS : out INPUT_QUEUE_CLASS; DEVICE : out EVENT_OVERFLOW_DEVICE_NUMBER); end INQ_GKS_ERROR_STATE_LIST;