Finalizing the beta version of the implementation for Groovy extension in JPF: JPF...

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

diff --git a/examples/Racer.groovy b/examples/Racer.groovy
new file mode 100644 (file)
index 0000000..e8df2f8
--- /dev/null
+++ b/examples/Racer.groovy
@@ -0,0 +1,24 @@
+class Racer implements Runnable {
+     int d = 42
+
+     public void run () {
+          doSomething(1001)
+          d = 0                              // (1)
+     }
+
+     static void main (String[] args){
+          Racer racer = new Racer()
+          Thread t = new Thread(racer)
+          t.start()
+
+          doSomething(1000)
+          int c = 420 / racer.d              // (2)
+          println c
+     }
+     
+     def doSomething (int n) {
+          try { 
+               Thread.sleep(n) 
+          } catch (InterruptedException ix) {}
+     }
+}