01: // StructureChangedListener.java
02: // $Id: StructureChangedListener.java,v 1.6 2000/08/16 21:37:54 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 StructureChangedListener extends
09: java.util.EventListener {
10:
11: /**
12: * This handles the <code>RESOURCE_MODIFIED</code> kind of events.
13: * @param evt The StructureChangeEvent.
14: */
15:
16: public void resourceModified(StructureChangedEvent evt);
17:
18: /**
19: * A new resource has been created in some space.
20: * This handles the <code>RESOURCE_CREATED</code> kind of events.
21: * @param evt The event describing the change.
22: */
23:
24: public void resourceCreated(StructureChangedEvent evt);
25:
26: /**
27: * A resource is about to be removed
28: * This handles the <code>RESOURCE_REMOVED</code> kind of events.
29: * @param evt The event describing the change.
30: */
31:
32: public void resourceRemoved(StructureChangedEvent evt);
33:
34: /**
35: * A resource is about to be unloaded
36: * This handles the <code>RESOURCE_UNLOADED</code> kind of events.
37: * @param evt The event describing the change.
38: */
39:
40: public void resourceUnloaded(StructureChangedEvent evt);
41:
42: }
|