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