------------------------------------------------------------------ -- -- NAME: TEK_EXTENDED_CONTROL_OPERATIONS -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- FILE: TEK_EXT_CONT.ADA -- LEVEL: 1A, 2A, 1B, 2B with GKS_TYPES; with WS_STATE_LIST_TYPES; with CGI; use GKS_TYPES; package TEK_EXTENDED_CONTROL_OPERATIONS is -- This package contains extended control commands to the device. -- This is a workstation driver specific package. It is called by -- the WS Manager. -- The following object is a flag used by the TEK_WSD procedure -- from the TEK_WSD package to determine when a REDRAW_ALL_ -- SEGMENTS_ON_WS is in progress. REDRAW_IN_PROGRESS : BOOLEAN := FALSE; procedure REDRAW_ALL_SEGMENTS_ON_WS (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR); procedure SET_DEFERRAL_STATE (WS_SL : in out WS_STATE_LIST_TYPES.WS_STATE_LIST_PTR; DEFERRAL : in DEFERRAL_MODE; REGENERATION : in REGENERATION_MODE); procedure MESSAGE (MESSAGE : in CGI.ACCESS_STRING_TYPE); end TEK_EXTENDED_CONTROL_OPERATIONS;