------------------------------------------------------------------
--
--  NAME: SET_INPUT_MODE_1B
--  DISCREPANCY REPORTS:
--
------------------------------------------------------------------
-- file:  set_input_mode_1b.ada
-- level: 1b, 2b

with GKS_TYPES;

use GKS_TYPES;

package SET_INPUT_MODE_1B is

-- This package contains the procedure for setting the mode
-- of the pick input device at level 1b.

   procedure SET_PICK_MODE
      (WS     : in WS_ID;
       DEVICE : in PICK_DEVICE_NUMBER;
       MODE   : in OPERATING_MODE;
       SWITCH : in ECHO_SWITCH);

end SET_INPUT_MODE_1B;