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