------------------------------------------------------------------ -- -- NAME: TEK_DEVICE_STATE_LISTS -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file : TEK_DEVICE_STATE_LISTS.ADA -- level: ALL LEVELS with BUFFERED_IO; with GKS_TYPES; with TEK; use GKS_TYPES; package TEK_DEVICE_STATE_LISTS is -- This package contains the types for the TEK device state list and -- the list of TEK device state lists. A TEK device state list exists -- for every workstation of the TEK type. The device state list -- contains the input and output connections to the device and a list -- of current characteristics used for optimization. type DEVICE_STATE_LIST_TYPE is record WORKSTATION_ID : GKS_TYPES.WS_ID; OUTPUT_BUFFER : BUFFERED_IO.OUTPUT_BUFFER_TYPE_PTR; INPUT_BUFFER : TEK.INPUT_BUFFER_TYPE_PTR; CURRENT_STATUS : TEK.CURRENT_STATUS_TYPE_PTR; end record; type DEVICE_STATE_LIST_TYPE_PTR is access DEVICE_STATE_LIST_TYPE; DEVICE_STATE_LIST_PTR : DEVICE_STATE_LIST_TYPE_PTR; -- The device state list for the current workstation. Contains the -- input and output buffer and the current device characteristics. -- Each TEK workstation operation passes through the TEK_WSD. The TEK_WSD -- procedure sets up this object for the package TEK which uses this -- object for optimization and communication to and from multiple devices. function GET_DEVICE_STATE_LIST_PTR ( WS_ID : in GKS_TYPES.WS_ID) return TEK_DEVICE_STATE_LISTS.DEVICE_STATE_LIST_TYPE_PTR; procedure ADD_DEVICE_STATE_LIST (WS_ID : in GKS_TYPES.WS_ID); procedure DELETE_DEVICE_STATE_LIST (WS_ID : in GKS_TYPES.WS_ID); end TEK_DEVICE_STATE_LISTS;