------------------------------------------------------------------ -- -- NAME: CGI_OPEN_WS_OPERATIONS -- DISCREPANCY REPORTS: -- ------------------------------------------------------------------ -- file: CGI_OPEN_WS_OPS.ADA -- level: ma, 0a, 1a, 2a with GKS_TYPES; with DICTIONARY; use GKS_TYPES; package CGI_OPEN_WS_OPERATIONS is -- This package contains OPEN_WS package which is an instantiation -- of a DICTIONARY package. It provides the workstation manager level -- the means to maintain a set of open ws ids and their associated -- workstation types. -- Package GKS_TYPES provides type definitions. type WS_ID_LIST is array (POSITIVE range <>) of WS_ID; -- Array of workstation ids returned by some subprograms from -- DICTIONARY package type WS_TYPE_LIST is array (POSITIVE range <>) of WS_TYPE; -- Array of workstation types returned by some subprograms from -- DICTIONARY package package OPEN_WS is new DICTIONARY (KEY_TYPE => WS_ID, "<" => "<", VALUE_TYPE => WS_TYPE, KEY_LIST_TYPE => WS_ID_LIST, VALUE_LIST_TYPE => WS_TYPE_LIST); -- Provides a dictionary and the appropriate operations for the -- association between a workstation id and a -- workstation type for each open workstation OPEN_DICTIONARY : OPEN_WS.DICTIONARY_TYPE; -- Association of the workstation id and workstation type for each -- open workstation end CGI_OPEN_WS_OPERATIONS;