<> <> <<>> DIRECTORY ; CKViewerTables: DEFINITIONS = { Table: TYPE = {A,B,C,H}; --color tables and HRam in display hardware Address: TYPE = CARDINAL[0..3777B]; --color table address, 11 bits TableData: TYPE = RECORD [--all Tables input data format red, green, blue: CARDINAL[0..377B] ]; <> <<>> InitializeTest: PROC []; <> FinalizeTest: PROC []; <> <<>> TakeTable: PROC [t: Table]; <> TakeAllTables: PROC []; <> <<>> ReleaseTable: PROC [t: Table]; <> ReleaseAllTables: PROC []; <> LoadTableAddress: PROC [t: Table, a: Address]; --table address <> WriteTableData: PROC [t: Table, d: TableData]; <> ReadTables: PROC [] RETURNS [d: TableData]; <> ClearTable: PROC [t: Table]; <> ClearAllTables: PROC []; <> VerifyClearedTable: PROC [t: Table] RETURNS [ok: BOOLEAN, index: Address, d: TableData]; <> <<>> VerifyClearedTables: PROC [] RETURNS [ok: BOOLEAN, t: Table, index: Address, d: TableData]; <> <<>> Compare: PROC [t: Table, a: Address, cd: TableData] RETURNS [ok: BOOLEAN, rd: TableData]; GetSize: PROC [t: Table] RETURNS [Address]; }.