def CheckIfOnlyTouchEvents():
#Check and throw an error if it is all touch events
#This is called Direct-Direct interaction and we do not model-check for this case
+ # TODO: Commenting out this code since we do this in the analysis itself
+ '''
onlyTouchEvents = True
for item in eventList:
if item != "nfcTouch" and item != "app" and item != "button":
extractError.write("Direct-Direct Interaction detected: we are skipping this pair...\n")
extractError.close()
raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n")
+ '''
#Extract objects to call functions from App1
//By Model Checker
def setValue(LinkedHashMap eventDataMap) {
if (this.mode != eventDataMap['value']) {
- def sentMode = eventDataMap['value']
+ String sentMode = eventDataMap['value']
println("The location is changed to $sentMode!")
this.mode = sentMode
this.locationMode = sentMode