Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / tools / resources / event / StructureChangedListener.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/event/StructureChangedListener.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/event/StructureChangedListener.java
new file mode 100644 (file)
index 0000000..aa9ea64
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/tools/resources/event/StructureChangedListener.java
@@ -0,0 +1,41 @@
+// StructureChangedListener.java\r
+// $Id: StructureChangedListener.java,v 1.1 2010/06/15 12:26:40 smhuang Exp $  \r
+// (c) COPYRIGHT MIT and INRIA, 1997.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.tools.resources.event;\r
+\r
+public interface StructureChangedListener extends java.util.EventListener {\r
+\r
+  /**\r
+   * This handles the <code>RESOURCE_MODIFIED</code> kind of events.\r
+   * @param evt The StructureChangeEvent.\r
+   */\r
+\r
+  public void resourceModified(StructureChangedEvent evt);\r
+\r
+  /**\r
+   * A new resource has been created in some space.\r
+   * This handles the <code>RESOURCE_CREATED</code> kind of events.\r
+   * @param evt The event describing the change.\r
+   */\r
+\r
+  public void resourceCreated(StructureChangedEvent evt);\r
+\r
+  /**\r
+   * A resource is about to be removed\r
+   * This handles the <code>RESOURCE_REMOVED</code> kind of events.\r
+   * @param evt The event describing the change.\r
+   */\r
+\r
+  public void resourceRemoved(StructureChangedEvent evt);\r
+\r
+  /**\r
+   * A resource is about to be unloaded\r
+   * This handles the <code>RESOURCE_UNLOADED</code> kind of events.\r
+   * @param evt The event describing the change.\r
+   */\r
+\r
+  public void resourceUnloaded(StructureChangedEvent evt);\r
+\r
+}\r