01: // FrameEventListener.java
02: // $Id: FrameEventListener.java,v 1.2 2000/08/16 21:37:53 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.tools.resources.event;
07:
08: public interface FrameEventListener extends java.util.EventListener {
09:
10: /**
11: * This handles the <code>FRAME_ADDED</code> kind of events.
12: * @param evt The FrameEvent.
13: */
14:
15: public void frameAdded(FrameEvent evt);
16:
17: /**
18: * This handles the <code>FRAME_MODIFIED</code> kind of events.
19: * @param evt The event describing the change.
20: */
21:
22: public void frameModified(FrameEvent evt);
23:
24: /**
25: * A frame is about to be removed
26: * This handles the <code>FRAME_REMOVED</code> kind of events.
27: * @param evt The event describing the change.
28: */
29:
30: public void frameRemoved(FrameEvent evt);
31:
32: }
|