(* Copyright 1992 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Thu Aug 13 16:16:10 PDT 1992 by johnh*)



INTERFACE ZeusPrivate;

IMPORT Zeus, ZeusClass;
<* PRAGMA LL *>

TYPE
  PrivateSession = Zeus.PublicSession BRANDED OBJECT
      evtWasHandled: BOOLEAN;   (* Set TRUE by Zeus when an event was
                                   handled by a non-default method. *)
    END;

REVEAL Zeus.Session <: PrivateSession;

PROCEDURE Mark (zeus: Zeus.Session; v: ZeusClass.T);
(* Mark v as belonging to a particular zeus session.  This is the
   counterpart to the public procedure Resolve.  LL = VBT.mu *)

END ZeusPrivate.