Copyright (C) 1994, Digital Equipment Corp.
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);
<* LL = VBT.mu *>
(* Mark v as belonging to a particular zeus session. This is the
counterpart to the public procedure Resolve. *)
PROCEDURE AlertViews(zeus: Zeus.Session);
<* LL = arbitrary *>
(* Send an alert to any view of this zeus session that has registered
itself as alertable. *)
END ZeusPrivate.