ui/src/split/ETAgent.i3


Copyright (C) 1994, Digital Equipment Corp.
 File: ETAgent.i3, by cgn, Tue Apr 21 22:00:25 1987 
<*PRAGMA LL*>
A ETAgent.T is a filter which implements the redirection of read, write, and key methods.

INTERFACE ETAgent;

IMPORT VBT, Filter;

TYPE
  T <: Filter.T;
The call v.init(ch) initializes v as a ETAgent with child ch, and marks v for redisplay.

PROCEDURE New(ch: VBT.T): T; <* LL.sup <= VBT.mu *>
New(...) is equivalent to NEW(T).init(...).

PROCEDURE ReleaseSelections(v: T); <* LL.sup = VBT.mu *>
Notify v's children that all selections have been lost.

END ETAgent.