//Create a class for Touch sensor
package appTouch

public class Touched{
	def sendEvent
	private int isTouched

	Touched(Closure sendEvent, int isTouched) {
		this.sendEvent = sendEvent
		this.isTouched = isTouched
	}

	//By Model Checker
	def setValue(LinkedHashMap eventDataMap) {
		println("The application is Touched!")
		this.isTouched = 1 //Do we need this?
		sendEvent(eventDataMap)
	}
}