Adding jpf.jar to enable the compilation of apps with the gov.nasa.jpf.vm.Verify...
[smartthings-infrastructure.git] / Extractor / App2 / extractedObjectsApp2.groovy
1 //Object for class switch!
2 def switchesoff
3 //Object for class switch!
4 def switcheson
5 //Object for class lock!
6 def lock1
7 //Global variable for mode!
8 def newMode = "home"
9 //Global variable for number!
10 def waitfor = 10