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