------------------------------------------------------------------ -- -- NAME: WSR_SET_INPUT_MODE_MB -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file : WSR_SET_IN_MODE_MB.ADA -- level : mb,mc,0b,0c,1b,1c,2b,2c with WS_STATE_LIST_TYPES; with GKS_TYPES; use GKS_TYPES; package WSR_SET_INPUT_MODE_MB is -- This package is a resource package that sets the input mode for -- the specified device in the requested workstation. procedure SET_LOCATOR_MODE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in LOCATOR_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH; ERROR_INDICATOR : out ERROR_NUMBER); procedure SET_STROKE_MODE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in STROKE_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH; ERROR_INDICATOR : out ERROR_NUMBER); procedure SET_VALUATOR_MODE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in VALUATOR_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH; ERROR_INDICATOR : out ERROR_NUMBER); procedure SET_CHOICE_MODE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in CHOICE_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH; ERROR_INDICATOR : out ERROR_NUMBER); procedure SET_STRING_MODE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEVICE : in STRING_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH; ERROR_INDICATOR : out ERROR_NUMBER); end WSR_SET_INPUT_MODE_MB;