Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / util / PropertyMonitoring.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/PropertyMonitoring.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/PropertyMonitoring.java
new file mode 100644 (file)
index 0000000..7dce13b
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/util/PropertyMonitoring.java
@@ -0,0 +1,19 @@
+// PropertyMonitoring.java\r
+// $Id: PropertyMonitoring.java,v 1.1 2010/06/15 12:25:38 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1996.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.util;\r
+\r
+public interface PropertyMonitoring {\r
+\r
+    /**\r
+     * The callback method, invoked when any property change occurs.\r
+     * @param name The name of the property that changed.\r
+     * @return A boolean, if <strong>true</strong>, accept the new property\r
+     *    value, otherwise, reject it and reset the property to its old\r
+     *    value.\r
+     */\r
+\r
+    public boolean propertyChanged (String name) ;\r
+}\r