Starting a new DPOR implementation.

[jpf-core.git] / examples / Empty.groovy

diff --git a/examples/Empty.groovy b/examples/Empty.groovy
index 03a71018a16fc6540d67ccaf4b8537f0e03d6c2d..e59fa9d476fce32f881989f87b94cd8339b9a7a9 100644 (file)
--- a/examples/Empty.groovy
+++ b/examples/Empty.groovy
@@ -9,14 +9,17 @@ class Empty {
                //int result = x + y;
                //return result;
                println "installed() is called!"
-               initialize()
+               boolean thisBoolean = false;
+               initialize(thisBoolean)
        }
 
        // This function is where you initialize callbacks for event listeners
-       def initialize() {
+       def initialize(thisBoolean) {
                // The subscribe function takes a input, a state, and a callback method
                //subscribe(contact, "contact.open", openHandler)
                //subscribe(contact, "contact.closed", closedHandler)
+               thisBoolean = true;
+               println "Boolean is now " + thisBoolean
                println "initialize() is called!"
        }