Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigadm / events / ResourceChangeEvent.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadm/events/ResourceChangeEvent.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadm/events/ResourceChangeEvent.java
new file mode 100644 (file)
index 0000000..50af171
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadm/events/ResourceChangeEvent.java
@@ -0,0 +1,27 @@
+// ResourceChangedEvent\r
+// $Id: ResourceChangeEvent.java,v 1.1 2010/06/15 12:29:20 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.jigadm.events ;\r
+\r
+import java.beans.PropertyChangeEvent;\r
+\r
+import org.w3c.jigadm.RemoteResourceWrapper;\r
+\r
+public class ResourceChangeEvent extends PropertyChangeEvent {\r
+\r
+    /**\r
+     * Creates a ResourceChangeEvent\r
+     * this correspond to a change in one resource\r
+     * @param source The resource father whose resource has changed.\r
+     * @param name The name of the attribute that has changed.\r
+     * @param oldvalue The old attribute value.\r
+     * @param newvalue The new attribuyte value.\r
+     */\r
+\r
+    public ResourceChangeEvent(Object source, String name\r
+                              , Object oldvalue, Object newvalue) {\r
+       super(source, name, oldvalue, newvalue);\r
+    }\r
+}    \r