public class Touched{
def sendEvent
+ private String id
private int isTouched
private String label
Touched(Closure sendEvent, int isTouched) {
this.sendEvent = sendEvent
this.isTouched = isTouched
- this.label = "App"
+ this.label = "app0"
+ this.id = "appID0"
}
//By Model Checker