(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* File: Revelation.def                                        *)
(* Last modified on Fri Feb 23 03:41:40 1990 by muller         *)
(*      modified on Mon Jul 17 08:55:47 1989 by kalsow         *)

INTERFACE Revelation;

IMPORT Token, Type, Value, Decl;

TYPE
  Set <: ADDRESS;

PROCEDURE PushNew (): Set;
PROCEDURE Push    (s: Set);
PROCEDURE Pop     ();

PROCEDURE Parse (READONLY fail: Token.Set; att: Decl.Attributes);

PROCEDURE Inherit (s: Set);

PROCEDURE Bind (s: Set);

PROCEDURE TypeCheck (s: Set);

PROCEDURE Declare (s: Set);

PROCEDURE LookUp (key: Type.T): Type.T;

PROCEDURE LookUpAll (key: Type.T): Type.List;

PROCEDURE GenIdentifications ();

PROCEDURE GenSubtypeChecks ();

PROCEDURE Initialize ();

END Revelation.