package appTouch
public class Touched{
- def fun
+ def sendEvent
+ private String id
private int isTouched
+ private String label
+ private String name
+
Touched(Closure sendEvent, int isTouched) {
- fun = sendEvent
+ this.sendEvent = sendEvent
this.isTouched = isTouched
+ this.label = "app0"
+ this.id = "appID0"
+ this.name = "app0"
}
//By Model Checker
def setValue(LinkedHashMap eventDataMap) {
println("The application is Touched!")
this.isTouched = 1 //Do we need this?
- fun(eventDataMap)
+ sendEvent(eventDataMap)
}
}