public class Touched{
def sendEvent
+ 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