------------------------------------------------------------------ -- -- NAME: WSR_INQ_WS_STATE_LIST_1B -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- File: WSR_INQ_WS_ST_1B.ADA -- Level: 1B, 2B, 1C, 2C with GKS_TYPES; with WS_STATE_LIST_TYPES; with INTERNAL_DATA_RECORDS; with CGI; use GKS_TYPES; package WSR_INQ_WS_STATE_LIST_1B is -- Packages GKS_TYPES, WS_STATE_LIST_TYPES, INTERNAL_DATA_RECORDS, and -- CGI provide types and subtypes for subprogram parameters. -- This package allows inquiries into the workstation's states. procedure INQ_PICK_DEVICE_STATE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in PICK_DEVICE_NUMBER; RETURN_VALUE : in RETURN_VALUE_TYPE; MODE : out OPERATING_MODE; SWITCH : out ECHO_SWITCH; STATUS : out PICK_STATUS; INITIAL_SEGMENT : out SEGMENT_NAME; INITIAL_PICK : out PICK_ID; ECHO_AREA : out DC.RECTANGLE_LIMITS; DATA_RECORD : out INTERNAL_DATA_RECORDS.PICK_DATA_RECORD; ERROR_INDICATOR : out ERROR_NUMBER); end WSR_INQ_WS_STATE_LIST_1B;