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.