Copyright (C) 1994, Digital Equipment Corp.File: Revelation.def
INTERFACERevelation ; IMPORT Type, Value, Decl; TYPE Set <: REFANY; TYPE TypeList = REF RECORD next: TypeList; type: Type.T END; TypeSet = RECORD cnt : CARDINAL; types : ARRAY [0..9] OF Type.T; others : TypeList; END; PROCEDURE NewSet (module: Value.T): Set; PROCEDURE Push (s: Set): Set; PROCEDURE Pop (s: Set); PROCEDURE Parse (READONLY att: Decl.Attributes); PROCEDURE Inherit (s: Set; import: Value.T); PROCEDURE TypeCheck (s: Set); PROCEDURE Declare (s: Set; VAR full_info, partial_info: INTEGER); PROCEDURE LookUp (key: Type.T): Type.T; PROCEDURE LookUpAll (key: Type.T; VAR(*OUT*) x: TypeSet); PROCEDURE Reuse (s: Set); END Revelation.