------------------------------------------------------------------ -- -- NAME: SET_INPUT_MODE_MB -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file: set_input_mode_mb.ada -- level: mb, 0b, 1b, 2b with GKS_TYPES; use GKS_TYPES; package SET_INPUT_MODE_MB is -- This package provides the procedures for setting the -- mode of input devices. procedure SET_LOCATOR_MODE (WS : in WS_ID; DEVICE : in LOCATOR_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH); procedure SET_STROKE_MODE (WS : in WS_ID; DEVICE : in STROKE_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH); procedure SET_VALUATOR_MODE (WS : in WS_ID; DEVICE : in VALUATOR_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH); procedure SET_CHOICE_MODE (WS : in WS_ID; DEVICE : in CHOICE_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH); procedure SET_STRING_MODE (WS : in WS_ID; DEVICE : in STRING_DEVICE_NUMBER; MODE : in OPERATING_MODE; SWITCH : in ECHO_SWITCH); end SET_INPUT_MODE_MB;