Make a change in ConflictTracker analysis
[jpf-core.git] / examples / RandComplex.groovy
1 // This function runs when the SmartApp is installed
2 def installed(a, b, c) {
3         println("a=" + a)
4         initialize(a, b, c)
5 }
6
7 // This function is where you initialize callbacks for event listeners
8 def initialize(a, b, c) {
9         println("  b=" + b)
10         finalize(a, b, c)
11 }
12
13 def finalize(a, b, c) {
14         println("    c=" + c)
15         result(a, b, c)
16 }
17
18 def result(a, b, c) {
19         int d = a/(b+c-10)
20         println("       d=" + d)
21 }
22
23 Random random = new Random(42)
24 int a = random.nextInt(10)
25 int b = random.nextInt(10)
26 int c = random.nextInt(10)
27 installed(a,b,c)
28 println "End of call!"