Extractor/ExtractorScript.py

   1 import os
   2 readyToReturn = 0
   3 ToReturn = ""
   4 eventList = []
   5 eventAppList = [] # This list maps App1 or App2 to a specific event
   6 eventVarMap = {}
   7 eventVarCounterMap = {}
   8 capabilityMap = {}
   9 capabilityList = []
  10 app1Capabilities = []
  11 app2Capabilities = []
  12 app1Subscribe = False
  13 app2Subscribe = False
  14
  15 # Mapping for event type and number of events
  16 # e.g., switch has 2 events: on and off
  17 eventTypeCounterMap =  {'lock': 2,
  18                                                 'nfcTouch' : 1,
  19                                                 'app' : 1,
  20                                                 'button' : 2,
  21                                                 'water' : 2,
  22                                                 'water.dry' : 1,
  23                                                 'water.wet' : 1,
  24                                                 'presence' : 2,
  25                                                 'doorState' : 2,
  26                                                 'motion' : 2,
  27                                                 'smoke' : 3,
  28                                                 'carbonMonoxide' : 3,
  29                                                 'battery' : 1,
  30                                                 'thermostatMode' : 5,
  31                                                 'thermostatFanMode' : 5,
  32                                                 'thermostatOperatingState' : 5,
  33                                                 'switch' : 2,
  34                                                 'location' : 3,
  35                                                 'mode' : 3,
  36                                                 'sunset' : 1,
  37                                                 'sunsetTime' : 1,
  38                                                 'sunrise' : 1,
  39                                                 'sunriseTime' : 1,
  40                                                 'acceleration' : 2,
  41                                                 'sleeping' : 2,
  42                                                 'goal' : 2,
  43                                                 'steps' : 2,
  44                                                 'color' : 1,
  45                                                 'colorTemperature' : 1,
  46                                                 'hue' : 1,
  47                                                 'saturation' : 1,
  48                                                 'energy' : 1,
  49                                                 'power' : 2,
  50                                                 'illuminance' : 1,
  51                                                 'humidity' : 2,
  52                                                 'alarm' : 4,
  53                                                 'contact' : 2,
  54                                                 'status' : 3,
  55                                                 'level' : 1,
  56                                                 'trackDescription' : 1,
  57                                                 'trackData' : 1,
  58                                                 'mute' : 2,
  59                                                 'temperature' : 2,
  60                                                 'heatingSetpoint' : 1,
  61                                                 'coolingSetpoint' : 1,
  62                                                 'thermostatSetpoint' : 1,
  63                                                 'threeAxis' : 1}
  64
  65 # Mapping for specific event types
  66 eventTypesMap =            {'alarm.both': 'alarm',
  67                                                 'alarm.siren' : 'alarm',
  68                                                 'alarm.strobe' : 'alarm',
  69                                                 'alarm.off' : 'alarm',
  70                                                 'contact.open' : 'contact',
  71                                                 'contact.closed' : 'contact',
  72                                                 'tamper.tampered' : 'contact',
  73                                                 'doorState.open' : 'doorState',
  74                                                 'doorState.closed' : 'doorState',
  75                                                 'mode' : 'location',
  76                                                 'mode.away' : 'location',
  77                                                 'mode.home' : 'location',
  78                                                 'mode.night' : 'location',
  79                                                 'lock.locked' : 'lock',
  80                                                 'lock.unlocked' : 'lock',
  81                                                 'motion.active' : 'motion',
  82                                                 'motion.inactive' : 'motion',
  83                                                 'status.playing' : 'status',
  84                                                 'status.stopped' : 'status',
  85                                                 'status.paused' : 'status',
  86                                                 'mute.muted' : 'mute',
  87                                                 'mute.unmuted' : 'mute',
  88                                                 'presence.present' : 'presence',
  89                                                 'presence.not present' : 'presence',
  90                                                 'presence.not' : 'presence',
  91                                                 'smoke.detected' : 'smoke',
  92                                                 'smoke.clear' : 'smoke',
  93                                                 'smoke.tested' : 'smoke',
  94                                                 'carbonMonoxide.detected' : 'carbonMonoxide',
  95                                                 'carbonMonoxide.clear' : 'carbonMonoxide',
  96                                                 'carbonMonoxide.tested' : 'carbonMonoxide',
  97                                                 'thermostatMode.cool' : 'thermostatMode',
  98                                                 'thermostatMode.auto' : 'thermostatMode',
  99                                                 'thermostatMode.emergencyHeat' : 'thermostatMode',
 100                                                 'thermostatMode.heat' : 'thermostatMode',
 101                                                 'thermostatMode.off' : 'thermostatMode',
 102                                                 'thermostatFanMode.auto' : 'thermostatFanMode',
 103                                                 'thermostatFanMode.fanCirculate' : 'thermostatFanMode',
 104                                                 'thermostatFanMode.circulate' : 'thermostatFanMode',
 105                                                 'thermostatFanMode.fanOn' : 'thermostatFanMode',
 106                                                 'thermostatFanMode.on' : 'thermostatFanMode',
 107                                                 'fanMode' : 'thermostatFanMode',
 108                                                 'fanMode.auto' : 'thermostatFanMode',
 109                                                 'fanMode.fanCirculate' : 'thermostatFanMode',
 110                                                 'fanMode.circulate' : 'thermostatFanMode',
 111                                                 'fanMode.fanOn' : 'thermostatFanMode',
 112                                                 'fanMode.on' : 'thermostatFanMode',
 113                                                 'switch.on' : 'switch',
 114                                                 'switch.off' : 'switch',
 115                                                 'button.pushed' : 'button',
 116                                                 'button.held' : 'button',
 117                                                 'acceleration.active' : 'acceleration',
 118                                                 'acceleration.inactive' : 'acceleration',
 119                                                 'sleeping.sleeping' : 'sleeping',
 120                                                 'sleeping.not sleeping' : 'sleeping',
 121                                                 'water.dry' : 'water',
 122                                                 'water.wet' : 'water'}
 123
 124 def GetToken(f):
 125         global readyToReturn
 126         global ToReturn
 127         Skip = ['\n', '\t', ' ']
 128         Special = ["(", "\"", ":", ",", "{", "}", ")", "/", "*"]
 129         S = ""
 130         if (readyToReturn):
 131                 readyToReturn = 0
 132                 return ToReturn
 133         ToReturn = ""
 134         c = f.read(1)
 135         while(True):
 136                 if (c in Special):
 137                         if (S != ""):
 138                                 readyToReturn = 1
 139                                 ToReturn = c
 140                                 return S
 141                         else:
 142                                 return c
 143                 elif (c in Skip):
 144                         if (S != ""):
 145                                 return S
 146                         else:
 147                                 c = f.read(1)
 148                                 continue
 149                 S += c
 150                 c = f.read(1)
 151                 if not c:
 152                         return "EOF"
 153
 154 def ExtractFunctions(F, appName):
 155         global eventList
 156         global eventAppList
 157         global eventTypesMap
 158         global app1Subscribe
 159         global app2Subscribe
 160         Temp = GetToken(F)
 161         while (Temp != "EOF"):
 162                 if (Temp == "def" or Temp == "private"):
 163                         Temp = GetToken(F)
 164                         if (Temp == "def" or Temp == "private"):
 165                                 Temp = GetToken(F)
 166                         NameofFunc = Temp
 167                         if (GetToken(F) == "("): #We have a function to create object for
 168                                 if (appName == "App1"):
 169                                         extractedFunctionsApp1.write("//Global Object for functions in subscribe method!\n")
 170                                         extractedFunctionsApp1.write("def %s = this.&" % NameofFunc)
 171                                         extractedFunctionsApp1.write("%s\n" % NameofFunc)
 172                                 else:
 173                                         extractedFunctionsApp2.write("//Global Object for functions in subscribe method!\n")
 174                                         extractedFunctionsApp2.write("def %s = this.&" % NameofFunc)
 175                                         extractedFunctionsApp2.write("%s\n" % NameofFunc)
 176
 177                 #Check input capability
 178                 if (Temp == "input"):
 179                         while Temp != "\"":
 180                                 Temp = GetToken(F)
 181                         variable = GetToken(F)
 182                         Temp = GetToken(F) #Get '"'
 183                         Temp = GetToken(F) #Get ','
 184                         while Temp != "\"":
 185                                 Temp = GetToken(F)
 186                         capability = GetToken(F)
 187                         capabilityMap[variable] = capability
 188
 189                 #Check subscribed events
 190                 if (Temp == "subscribe"):
 191                         if (appName == "App1"):
 192                                 app1Subscribe = True
 193                         else:
 194                                 app2Subscribe = True
 195                         Temp = GetToken(F)
 196                         if (Temp == "("):
 197                                 Temp = GetToken(F)
 198                         variable = Temp
 199                         while (Temp != "\"" and Temp != "app" and Temp != "location"):
 200                                 Temp = GetToken(F)
 201                         if Temp == "location":
 202                                 # See if we have another case for location
 203                                 Temp = GetToken(F) # Get ','
 204                                 Temp = GetToken(F) # Get '"'
 205                                 if Temp == "\"":
 206                                         Temp = GetToken(F)
 207                                 else:
 208                                         # This is the special case where we will see, e.g., sunset, sunrise, etc.
 209                                         Temp = "location"
 210                         if Temp == "\"":
 211                                 Temp = GetToken(F)
 212
 213                         #print "DEBUG: %s - %s" % (variable, Temp)
 214                         #print capabilityMap
 215                         #print "DEBUG: location variable: %s" % Temp
 216
 217                         #This is a bogus event, just skip it...
 218                         if Temp == "unlock":
 219                                 continue
 220                         #Translate and reduce through mapping
 221                         if Temp in eventTypesMap.keys():
 222                                 Temp = eventTypesMap[Temp]
 223                         if Temp == "app" or Temp == "location" or Temp == "mode" or Temp == "sunset" or Temp == "sunrise" or Temp == "sunsetTime" or Temp == "sunriseTime":
 224                                 if Temp not in eventList:
 225                                         eventList.append(Temp)
 226                                         if (appName == "App1"):
 227                                                 eventAppList.append("App1")
 228                                         else:
 229                                                 eventAppList.append("App2")
 230                         elif Temp not in eventList or (variable in capabilityMap.keys() and capabilityMap[variable] not in capabilityList):
 231                                 # We do not repeat the same capability twice
 232                                 capability = capabilityMap[variable]
 233                                 capabilityList.append(capability)
 234                                 eventList.append(Temp)
 235                                 if (appName == "App1"):
 236                                         eventAppList.append("App1")
 237                                 else:
 238                                         eventAppList.append("App2")
 239                                 if Temp in eventVarMap.keys():
 240                                         listOfEvents = eventVarMap[Temp]
 241                                         listOfEvents.append(variable)
 242                                 else:
 243                                         eventVarMap[Temp] = [variable]
 244                         #print "DEBUG: %s - %s" % (variable, Temp)
 245                         #print capabilityMap
 246                         #print eventList
 247
 248                 #Check and analyze capabilities for physical interaction
 249                 AnalyzeCapabilities(Temp, appName, F)
 250
 251                 Temp = GetToken(F)
 252
 253         #Warn if there is a potential for physical interaction
 254         AnalyzePhysicalInteraction(app1Capabilities, app2Capabilities)
 255         AnalyzePhysicalInteraction(app2Capabilities, app1Capabilities)
 256
 257 def AnalyzeCapabilities(Temp, appName, F):
 258                         #Illuminance related
 259         if (Temp == "capability.switch" or
 260                         Temp == "capability.switchLevel" or
 261                         Temp == "capability.illuminanceMeasurement" or
 262                         Temp == "capability.colorControl" or
 263                         #Motion related
 264                         Temp == "capability.motionSensor" or
 265                         Temp == "capability.accelerationSensor" or
 266                         #Water related
 267                         Temp == "capability.valve" or
 268                         Temp == "capability.waterSensor" or
 269                         #Sound related
 270                         Temp == "capability.musicPlayer" or
 271                         Temp == "capability.alarm" or
 272                         Temp == "capability.speechSynthesis" or
 273                         Temp == "capability.soundSensor"):
 274                 if (appName == "App1"):
 275                         app1Capabilities.append(Temp)
 276                 else:
 277                         app2Capabilities.append(Temp)
 278         if (Temp == "capability"):
 279                 Temp = GetToken(F) #Get '"'
 280                 Temp = GetToken(F) #Get 'Music'
 281                 Temp = Temp + GetToken(F) #Get 'Player'
 282                 if (Temp == "MusicPlayer"):
 283                         if (appName == "App1"):
 284                                 app1Capabilities.append("capability.musicPlayer")
 285                         else:
 286                                 app2Capabilities.append("capability.musicPlayer")
 287
 288 def AnalyzePhysicalInteraction(app1Capab, app2Capab):
 289         #Light
 290         if ("capability.illuminanceMeasurement" in app1Capab) and ("capability.switch" in app2Capab or
 291                         "capability.switchLevel" in app2Capab or "capability.colorControl" in app2Capab):
 292                 print ("\nWARNING: Potential PHYSICAL CONFLICT (light) detected between App1 and App2!\n")
 293         #Motion
 294         # TODO: Technically this is not entirely precise since we need to be able to detect that the other app creates motion
 295         if ("capability.motionSensor" in app1Capab) or ("capability.accelerationSensor" in app1Capab):
 296                 print ("\nWARNING: Potential PHYSICAL CONFLICT (motion) detected between App1 and App2!\n")
 297         #Water
 298         if ("capability.waterSensor" in app1Capab) and ("capability.valve" in app2Capab or
 299                         "capability.switch" in app2Capab):
 300                 print ("\nWARNING: Potential PHYSICAL CONFLICT (water) detected between App1 and App2!\n")
 301         #Sound
 302         if ("capability.soundSensor" in app1Capab) and ("capability.musicPlayer" in app2Capab or
 303                         "capability.alarm" in app2Capab or "capability.speechSynthesis" in app2Capab):
 304                 print ("\nWARNING: Potential PHYSICAL CONFLICT (sound) detected between App1 and App2!\n")
 305
 306 def CountEvents():
 307         global eventList
 308         numOfActualEvents = 0
 309         #print "DEBUG: eventlist: %d" % len(eventList)
 310         #print "DEBUG: eventlist: %s" % eventList
 311         for event in eventList:
 312                 #print "DEBUG: Event: %s %d" % (event, eventTypeCounterMap[event])
 313                 numOfActualEvents = numOfActualEvents + eventTypeCounterMap[event]
 314         return numOfActualEvents
 315
 316 def ExtractEvents(extractedEvents):
 317         global eventList
 318         global eventAppList
 319         global eventVarMap
 320         global capabilityMap
 321         global eventVarCounterMap
 322         # Count the number of events
 323         numOfActualEvents = CountEvents()
 324         extractedEvents.write("while(true) {\n")
 325         extractedEvents.write("\tdef eventNumber = Verify.getInt(0,%d)\n" % (numOfActualEvents - 1))
 326         extractedEvents.write("\tswitch(eventNumber) {\n")
 327         counter = 0
 328         indexApp1 = 0
 329         if "App2" in eventAppList:
 330                 indexApp2 = eventAppList.index("App2")
 331         else:
 332                 indexApp2 = len(eventList)
 333         indexApp2Start = indexApp2
 334         #print "DEBUG: App1: %d" % indexApp1
 335         #print "DEBUG: App2: %d" % indexApp2
 336         #print "DEBUG: eventList: %d" % len(eventList)
 337         #print eventList
 338         isApp1 = True
 339         while counter < numOfActualEvents:
 340                 # Interleave events from App1 and App2
 341                 if isApp1 is True:
 342                         i = indexApp1
 343                         indexApp1 = indexApp1 + 1
 344                         if indexApp2 < len(eventList):
 345                                 isApp1 = False
 346                 else:
 347                         i = indexApp2
 348                         indexApp2 = indexApp2 + 1
 349                         if indexApp1 < indexApp2Start:
 350                                 isApp1 = True
 351                 #print "DEBUG: i: %d" % i
 352                 extractedEvents.write("\t\tcase %d:\n" % counter)
 353                 if eventList[i] == "lock":
 354                         #Write two events subsequently
 355                         event = open("eventSimulator/lockLockedEvent.groovy", "r")
 356                         for line in event:
 357                                 extractedEvents.write(line)
 358                         event.close()
 359                         extractedEvents.write("\n\t\t\tbreak\n")
 360                         counter = counter + 1
 361                         extractedEvents.write("\t\tcase %d:\n" % counter)
 362                         event = open("eventSimulator/lockUnlockedEvent.groovy", "r")
 363                         for line in event:
 364                                 extractedEvents.write(line)
 365                         event.close()
 366                 elif eventList[i] == "nfcTouch":
 367                         event = open("eventSimulator/nfcTouchEvent.groovy", "r")
 368                         for line in event:
 369                                 extractedEvents.write(line)
 370                         event.close()
 371                 elif eventList[i] == "app": #Case for Touched event
 372                         event = open("eventSimulator/appTouchEvent.groovy", "r")
 373                         for line in event:
 374                                 extractedEvents.write(line)
 375                         event.close()
 376                 elif eventList[i] == "button":
 377                         #Check which capability
 378                         variable = eventVarMap[eventList[i]]
 379                         if eventList[i] not in eventVarCounterMap.keys():
 380                                 eventVarCounterMap[eventList[i]] = 1
 381                                 eventVarCount = 0
 382                         else:
 383                                 eventVarCount = eventVarCounterMap[eventList[i]]
 384                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 385                         capability = capabilityMap[variable[eventVarCount]]
 386                         #Write two events subsequently
 387                         if capability == "capability.button":
 388                                 event = open("eventSimulator/buttonHeldEvent.groovy", "r")
 389                         elif capability == "device.aeonKeyFob":
 390                                 event = open("eventSimulator/aeonKeyFobHeldEvent.groovy", "r")
 391                         for line in event:
 392                                 extractedEvents.write(line)
 393                         event.close()
 394                         extractedEvents.write("\n\t\t\tbreak\n")
 395                         counter = counter + 1
 396                         extractedEvents.write("\t\tcase %d:\n" % counter)
 397                         if capability == "capability.button":
 398                                 event = open("eventSimulator/buttonPushedEvent.groovy", "r")
 399                         elif capability == "device.aeonKeyFob":
 400                                 event = open("eventSimulator/aeonKeyFobPushedEvent.groovy", "r")
 401                         for line in event:
 402                                 extractedEvents.write(line)
 403                         event.close()
 404                 elif eventList[i] == "water":
 405                         #Write two events subsequently
 406                         event = open("eventSimulator/waterDryEvent.groovy", "r")
 407                         for line in event:
 408                                 extractedEvents.write(line)
 409                         event.close()
 410                         extractedEvents.write("\n\t\t\tbreak\n")
 411                         counter = counter + 1
 412                         extractedEvents.write("\t\tcase %d:\n" % counter)
 413                         event = open("eventSimulator/waterWetEvent.groovy", "r")
 414                         for line in event:
 415                                 extractedEvents.write(line)
 416                         event.close()
 417                 elif eventList[i] == "presence":
 418                         #Check which capability
 419                         variable = eventVarMap[eventList[i]]
 420                         if eventList[i] not in eventVarCounterMap.keys():
 421                                 eventVarCounterMap[eventList[i]] = 1
 422                                 eventVarCount = 0
 423                         else:
 424                                 eventVarCount = eventVarCounterMap[eventList[i]]
 425                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 426                         capability = capabilityMap[variable[eventVarCount]]
 427                         #Write two events subsequently
 428                         if capability == "capability.presenceSensor":
 429                                 event = open("eventSimulator/presencePresentEvent.groovy", "r")
 430                         elif capability == "capability.beacon":
 431                                 event = open("eventSimulator/beaconPresentEvent.groovy", "r")
 432                         for line in event:
 433                                 extractedEvents.write(line)
 434                         event.close()
 435                         extractedEvents.write("\n\t\t\tbreak\n")
 436                         counter = counter + 1
 437                         extractedEvents.write("\t\tcase %d:\n" % counter)
 438                         if capability == "capability.presenceSensor":
 439                                 event = open("eventSimulator/presenceLeftEvent.groovy", "r")
 440                         elif capability == "capability.beacon":
 441                                 event = open("eventSimulator/beaconLeftEvent.groovy", "r")
 442                         for line in event:
 443                                 extractedEvents.write(line)
 444                         event.close()
 445                 elif eventList[i] == "doorState":
 446                         #Write two events subsequently
 447                         event = open("eventSimulator/doorOpenEvent.groovy", "r")
 448                         for line in event:
 449                                 extractedEvents.write(line)
 450                         event.close()
 451                         extractedEvents.write("\n\t\t\tbreak\n")
 452                         counter = counter + 1
 453                         extractedEvents.write("\t\tcase %d:\n" % counter)
 454                         event = open("eventSimulator/doorClosedEvent.groovy", "r")
 455                         for line in event:
 456                                 extractedEvents.write(line)
 457                         event.close()
 458                 elif eventList[i] == "motion":
 459                         #Write two events subsequently
 460                         event = open("eventSimulator/motionActiveEvent.groovy", "r")
 461                         for line in event:
 462                                 extractedEvents.write(line)
 463                         event.close()
 464                         extractedEvents.write("\n\t\t\tbreak\n")
 465                         counter = counter + 1
 466                         extractedEvents.write("\t\tcase %d:\n" % counter)
 467                         event = open("eventSimulator/motionInactiveEvent.groovy", "r")
 468                         for line in event:
 469                                 extractedEvents.write(line)
 470                         event.close()
 471                 elif eventList[i] == "smoke":
 472                         #Write three events subsequently
 473                         event = open("eventSimulator/smokeClearEvent.groovy", "r")
 474                         for line in event:
 475                                 extractedEvents.write(line)
 476                         event.close()
 477                         extractedEvents.write("\n\t\t\tbreak\n")
 478                         counter = counter + 1
 479                         extractedEvents.write("\t\tcase %d:\n" % counter)
 480                         event = open("eventSimulator/smokeDetectedEvent.groovy", "r")
 481                         for line in event:
 482                                 extractedEvents.write(line)
 483                         event.close()
 484                         extractedEvents.write("\n\t\t\tbreak\n")
 485                         counter = counter + 1
 486                         extractedEvents.write("\t\tcase %d:\n" % counter)
 487                         event = open("eventSimulator/smokeTestedEvent.groovy", "r")
 488                         for line in event:
 489                                 extractedEvents.write(line)
 490                         event.close()
 491                 elif eventList[i] == "carbonMonoxide":
 492                         #Check which capability
 493                         variable = eventVarMap[eventList[i]]
 494                         if eventList[i] not in eventVarCounterMap.keys():
 495                                 eventVarCounterMap[eventList[i]] = 1
 496                                 eventVarCount = 0
 497                         else:
 498                                 eventVarCount = eventVarCounterMap[eventList[i]]
 499                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 500                         capability = capabilityMap[variable[eventVarCount]]
 501                         #Write three events subsequently
 502                         if capability == "capability.smokeDetector":
 503                                 event = open("eventSimulator/smokeCarbonMonoxideClearEvent.groovy", "r")
 504                         elif capability == "capability.carbonMonoxideDetector":
 505                                 event = open("eventSimulator/carbonMonoxideClearEvent.groovy", "r")
 506                         for line in event:
 507                                 extractedEvents.write(line)
 508                         event.close()
 509                         extractedEvents.write("\n\t\t\tbreak\n")
 510                         counter = counter + 1
 511                         extractedEvents.write("\t\tcase %d:\n" % counter)
 512                         if capability == "capability.smokeDetector":
 513                                 event = open("eventSimulator/smokeCarbonMonoxideDetectedEvent.groovy", "r")
 514                         elif capability == "capability.carbonMonoxideDetector":
 515                                 event = open("eventSimulator/carbonMonoxideDetectedEvent.groovy", "r")
 516                         for line in event:
 517                                 extractedEvents.write(line)
 518                         event.close()
 519                         extractedEvents.write("\n\t\t\tbreak\n")
 520                         counter = counter + 1
 521                         extractedEvents.write("\t\tcase %d:\n" % counter)
 522                         if capability == "capability.smokeDetector":
 523                                 event = open("eventSimulator/smokeCarbonMonoxideTestedEvent.groovy", "r")
 524                         elif capability == "capability.carbonMonoxideDetector":
 525                                 event = open("eventSimulator/carbonMonoxideTestedEvent.groovy", "r")
 526                         for line in event:
 527                                 extractedEvents.write(line)
 528                         event.close()
 529                 elif eventList[i] == "battery":
 530                         #Check which capability
 531                         variable = eventVarMap[eventList[i]]
 532                         if eventList[i] not in eventVarCounterMap.keys():
 533                                 eventVarCounterMap[eventList[i]] = 1
 534                                 eventVarCount = 0
 535                         else:
 536                                 eventVarCount = eventVarCounterMap[eventList[i]]
 537                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 538                         capability = capabilityMap[variable[eventVarCount]]
 539                         if capability == "capability.smokeDetector":
 540                                 event = open("eventSimulator/smokeDetectorBatteryEvent.groovy", "r")
 541                         elif capability == "capability.battery":
 542                                 event = open("eventSimulator/batteryBatteryEvent.groovy", "r")
 543                         for line in event:
 544                                 extractedEvents.write(line)
 545                         event.close()
 546                 elif eventList[i] == "thermostatMode":
 547                         #Write five events subsequently
 548                         event = open("eventSimulator/thermostatAutoModeEvent.groovy", "r")
 549                         for line in event:
 550                                 extractedEvents.write(line)
 551                         event.close()
 552                         extractedEvents.write("\n\t\t\tbreak\n")
 553                         counter = counter + 1
 554                         extractedEvents.write("\t\tcase %d:\n" % counter)
 555                         event = open("eventSimulator/thermostatCoolModeEvent.groovy", "r")
 556                         for line in event:
 557                                 extractedEvents.write(line)
 558                         event.close()
 559                         extractedEvents.write("\n\t\t\tbreak\n")
 560                         counter = counter + 1
 561                         extractedEvents.write("\t\tcase %d:\n" % counter)
 562                         event = open("eventSimulator/thermostatEmergencyHeatModeEvent.groovy", "r")
 563                         for line in event:
 564                                 extractedEvents.write(line)
 565                         event.close()
 566                         extractedEvents.write("\n\t\t\tbreak\n")
 567                         counter = counter + 1
 568                         extractedEvents.write("\t\tcase %d:\n" % counter)
 569                         event = open("eventSimulator/thermostatHeatModeEvent.groovy", "r")
 570                         for line in event:
 571                                 extractedEvents.write(line)
 572                         event.close()
 573                         extractedEvents.write("\n\t\t\tbreak\n")
 574                         counter = counter + 1
 575                         extractedEvents.write("\t\tcase %d:\n" % counter)
 576                         event = open("eventSimulator/thermostatOffModeEvent.groovy", "r")
 577                         for line in event:
 578                                 extractedEvents.write(line)
 579                         event.close()
 580                 elif eventList[i] == "thermostatFanMode":
 581                         #Write five events subsequently
 582                         event = open("eventSimulator/thermostatAutoFanModeEvent.groovy", "r")
 583                         for line in event:
 584                                 extractedEvents.write(line)
 585                         event.close()
 586                         extractedEvents.write("\n\t\t\tbreak\n")
 587                         counter = counter + 1
 588                         extractedEvents.write("\t\tcase %d:\n" % counter)
 589                         event = open("eventSimulator/thermostatFanCirculateFanModeEvent.groovy", "r")
 590                         for line in event:
 591                                 extractedEvents.write(line)
 592                         event.close()
 593                         extractedEvents.write("\n\t\t\tbreak\n")
 594                         counter = counter + 1
 595                         extractedEvents.write("\t\tcase %d:\n" % counter)
 596                         event = open("eventSimulator/thermostatCirculateFanModeEvent.groovy", "r")
 597                         for line in event:
 598                                 extractedEvents.write(line)
 599                         event.close()
 600                         extractedEvents.write("\n\t\t\tbreak\n")
 601                         counter = counter + 1
 602                         extractedEvents.write("\t\tcase %d:\n" % counter)
 603                         event = open("eventSimulator/thermostatFanOnFanModeEvent.groovy", "r")
 604                         for line in event:
 605                                 extractedEvents.write(line)
 606                         event.close()
 607                         extractedEvents.write("\n\t\t\tbreak\n")
 608                         counter = counter + 1
 609                         extractedEvents.write("\t\tcase %d:\n" % counter)
 610                         event = open("eventSimulator/thermostatOnFanModeEvent.groovy", "r")
 611                         for line in event:
 612                                 extractedEvents.write(line)
 613                         event.close()
 614                 elif eventList[i] == "thermostatOperatingState":
 615                         #Write five events subsequently
 616                         event = open("eventSimulator/thermostatOperatingStateAutoEvent.groovy", "r")
 617                         for line in event:
 618                                 extractedEvents.write(line)
 619                         event.close()
 620                         extractedEvents.write("\n\t\t\tbreak\n")
 621                         counter = counter + 1
 622                         extractedEvents.write("\t\tcase %d:\n" % counter)
 623                         event = open("eventSimulator/thermostatOperatingStateCoolEvent.groovy", "r")
 624                         for line in event:
 625                                 extractedEvents.write(line)
 626                         event.close()
 627                         extractedEvents.write("\n\t\t\tbreak\n")
 628                         counter = counter + 1
 629                         extractedEvents.write("\t\tcase %d:\n" % counter)
 630                         event = open("eventSimulator/thermostatOperatingStateOffEvent.groovy", "r")
 631                         for line in event:
 632                                 extractedEvents.write(line)
 633                         event.close()
 634                         extractedEvents.write("\n\t\t\tbreak\n")
 635                         counter = counter + 1
 636                         extractedEvents.write("\t\tcase %d:\n" % counter)
 637                         event = open("eventSimulator/thermostatOperatingStateEmergencyHeatEvent.groovy", "r")
 638                         for line in event:
 639                                 extractedEvents.write(line)
 640                         event.close()
 641                         extractedEvents.write("\n\t\t\tbreak\n")
 642                         counter = counter + 1
 643                         extractedEvents.write("\t\tcase %d:\n" % counter)
 644                         event = open("eventSimulator/thermostatOperatingStateHeatEvent.groovy", "r")
 645                         for line in event:
 646                                 extractedEvents.write(line)
 647                         event.close()
 648                 elif eventList[i] == "switch":
 649
 650                         #Check which capability
 651                         variable = eventVarMap[eventList[i]]
 652                         if eventList[i] not in eventVarCounterMap.keys():
 653                                 eventVarCounterMap[eventList[i]] = 1
 654                                 eventVarCount = 0
 655                         else:
 656                                 eventVarCount = eventVarCounterMap[eventList[i]]
 657                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 658                         capability = capabilityMap[variable[eventVarCount]]
 659                         #Write two events subsequently
 660                         print("//////////////////////")
 661                         print(capability)
 662                         if capability == "capability.switch":
 663                                 event = open("eventSimulator/switchOnEvent.groovy", "r")
 664                         elif capability == "capability.switchLevel":
 665                                 event = open("eventSimulator/switchLevelOnEvent.groovy", "r")
 666                         elif capability == "capability.relaySwitch":
 667                                 event = open("eventSimulator/relaySwitchOnEvent.groovy", "r")
 668                         elif capability == "capability.colorControl":
 669                                 event = open("eventSimulator/colorControlSwitchOnEvent.groovy", "r")
 670                         elif capability == "capability.colorTemperature":
 671                                 event = open("eventSimulator/colorTemperatureSwitchOnEvent.groovy", "r")
 672                         for line in event:
 673                                 extractedEvents.write(line)
 674                         event.close()
 675                         extractedEvents.write("\n\t\t\tbreak\n")
 676                         counter = counter + 1
 677                         extractedEvents.write("\t\tcase %d:\n" % counter)
 678                         if capability == "capability.switch":
 679                                 event = open("eventSimulator/switchOffEvent.groovy", "r")
 680                         elif capability == "capability.switchLevel":
 681                                 event = open("eventSimulator/switchLevelOffEvent.groovy", "r")
 682                         elif capability == "capability.relaySwitch":
 683                                 event = open("eventSimulator/relaySwitchOffEvent.groovy", "r")
 684                         elif capability == "capability.colorControl":
 685                                 event = open("eventSimulator/colorControlSwitchOffEvent.groovy", "r")
 686                         elif capability == "capability.colorTemperature":
 687                                 event = open("eventSimulator/colorTemperatureSwitchOffEvent.groovy", "r")
 688                         for line in event:
 689                                 extractedEvents.write(line)
 690                         event.close()
 691                 elif eventList[i] == "location": #Case for Location event
 692                         #Write three events subsequently
 693                         event = open("eventSimulator/locationHomeEvent.groovy", "r")
 694                         for line in event:
 695                                 extractedEvents.write(line)
 696                         event.close()
 697                         extractedEvents.write("\n\t\t\tbreak\n")
 698                         counter = counter + 1
 699                         extractedEvents.write("\t\tcase %d:\n" % counter)
 700                         event = open("eventSimulator/locationAwayEvent.groovy", "r")
 701                         for line in event:
 702                                 extractedEvents.write(line)
 703                         event.close()
 704                         extractedEvents.write("\n\t\t\tbreak\n")
 705                         counter = counter + 1
 706                         extractedEvents.write("\t\tcase %d:\n" % counter)
 707                         event = open("eventSimulator/locationNightEvent.groovy", "r")
 708                         for line in event:
 709                                 extractedEvents.write(line)
 710                         event.close()
 711                 elif eventList[i] == "sunrise":
 712                         event = open("eventSimulator/locationSunriseEvent.groovy", "r")
 713                         for line in event:
 714                                 extractedEvents.write(line)
 715                         event.close()
 716                 elif eventList[i] == "sunset":
 717                         event = open("eventSimulator/locationSunsetEvent.groovy", "r")
 718                         for line in event:
 719                                 extractedEvents.write(line)
 720                         event.close()
 721                 elif eventList[i] == "sunsetTime":
 722                         event = open("eventSimulator/locationSunsetTimeEvent.groovy", "r")
 723                         for line in event:
 724                                 extractedEvents.write(line)
 725                         event.close()
 726                 elif eventList[i] == "sunriseTime":
 727                         event = open("eventSimulator/locationSunriseTimeEvent.groovy", "r")
 728                         for line in event:
 729                                 extractedEvents.write(line)
 730                         event.close()
 731                 elif eventList[i] == "acceleration":
 732                         #Write two events subsequently
 733                         event = open("eventSimulator/accelerationActiveEvent.groovy", "r")
 734                         for line in event:
 735                                 extractedEvents.write(line)
 736                         event.close()
 737                         extractedEvents.write("\n\t\t\tbreak\n")
 738                         counter = counter + 1
 739                         extractedEvents.write("\t\tcase %d:\n" % counter)
 740                         event = open("eventSimulator/accelerationInactiveEvent.groovy", "r")
 741                         for line in event:
 742                                 extractedEvents.write(line)
 743                         event.close()
 744                 elif eventList[i] == "sleeping":
 745                         #Write two events subsequently
 746                         event = open("eventSimulator/sleepSleepingEvent.groovy", "r")
 747                         for line in event:
 748                                 extractedEvents.write(line)
 749                         event.close()
 750                         extractedEvents.write("\n\t\t\tbreak\n")
 751                         counter = counter + 1
 752                         extractedEvents.write("\t\tcase %d:\n" % counter)
 753                         event = open("eventSimulator/sleepNotSleepingEvent.groovy", "r")
 754                         for line in event:
 755                                 extractedEvents.write(line)
 756                         event.close()
 757                 elif eventList[i] == "goal":
 758                         #Write two events subsequently
 759                         event = open("eventSimulator/stepGoalHighEvent.groovy", "r")
 760                         for line in event:
 761                                 extractedEvents.write(line)
 762                         event.close()
 763                         extractedEvents.write("\n\t\t\tbreak\n")
 764                         counter = counter + 1
 765                         extractedEvents.write("\t\tcase %d:\n" % counter)
 766                         event = open("eventSimulator/stepGoalLowEvent.groovy", "r")
 767                         for line in event:
 768                                 extractedEvents.write(line)
 769                         event.close()
 770                 elif eventList[i] == "steps":
 771                         #Write two events subsequently
 772                         event = open("eventSimulator/stepStepsHighEvent.groovy", "r")
 773                         for line in event:
 774                                 extractedEvents.write(line)
 775                         event.close()
 776                         extractedEvents.write("\n\t\t\tbreak\n")
 777                         counter = counter + 1
 778                         extractedEvents.write("\t\tcase %d:\n" % counter)
 779                         event = open("eventSimulator/stepStepsLowEvent.groovy", "r")
 780                         for line in event:
 781                                 extractedEvents.write(line)
 782                         event.close()
 783                 elif eventList[i] == "color":
 784                         event = open("eventSimulator/colorChangeEvent.groovy", "r")
 785                         for line in event:
 786                                 extractedEvents.write(line)
 787                         event.close()
 788                 elif eventList[i] == "colorTemperature":
 789                         event = open("eventSimulator/colorTemperatureEvent.groovy", "r")
 790                         for line in event:
 791                                 extractedEvents.write(line)
 792                         event.close()
 793                 elif eventList[i] == "hue":
 794                         event = open("eventSimulator/hueChangeEvent.groovy", "r")
 795                         for line in event:
 796                                 extractedEvents.write(line)
 797                         event.close()
 798                 elif eventList[i] == "saturation":
 799                         event = open("eventSimulator/saturationChangeEvent.groovy", "r")
 800                         for line in event:
 801                                 extractedEvents.write(line)
 802                         event.close()
 803                 elif eventList[i] == "energy":
 804                         event = open("eventSimulator/energyMeterEvent.groovy", "r")
 805                         for line in event:
 806                                 extractedEvents.write(line)
 807                         event.close()
 808                 elif eventList[i] == "power":
 809                         #Write two events subsequently
 810                         event = open("eventSimulator/powerMeterHighPowerEvent.groovy", "r")
 811                         for line in event:
 812                                 extractedEvents.write(line)
 813                         event.close()
 814                         extractedEvents.write("\n\t\t\tbreak\n")
 815                         counter = counter + 1
 816                         extractedEvents.write("\t\tcase %d:\n" % counter)
 817                         event = open("eventSimulator/powerMeterLowPowerEvent.groovy", "r")
 818                         for line in event:
 819                                 extractedEvents.write(line)
 820                         event.close()
 821                 elif eventList[i] == "illuminance":
 822                         event = open("eventSimulator/illuminanceMeasurementEvent.groovy", "r")
 823                         for line in event:
 824                                 extractedEvents.write(line)
 825                         event.close()
 826                 elif eventList[i] == "humidity":
 827                         event = open("eventSimulator/humidityHighMeasurementEvent.groovy", "r")
 828                         for line in event:
 829                                 extractedEvents.write(line)
 830                         event.close()
 831                         extractedEvents.write("\n\t\t\tbreak\n")
 832                         counter = counter + 1
 833                         extractedEvents.write("\t\tcase %d:\n" % counter)
 834                         event = open("eventSimulator/humidityLowMeasurementEvent.groovy", "r")
 835                         for line in event:
 836                                 extractedEvents.write(line)
 837                         event.close()
 838                 elif eventList[i] == "alarm":
 839                         #Write four events subsequently
 840                         event = open("eventSimulator/alarmBothEvent.groovy", "r")
 841                         for line in event:
 842                                 extractedEvents.write(line)
 843                         event.close()
 844                         extractedEvents.write("\n\t\t\tbreak\n")
 845                         counter = counter + 1
 846                         extractedEvents.write("\t\tcase %d:\n" % counter)
 847                         event = open("eventSimulator/alarmSirenEvent.groovy", "r")
 848                         for line in event:
 849                                 extractedEvents.write(line)
 850                         event.close()
 851                         extractedEvents.write("\n\t\t\tbreak\n")
 852                         counter = counter + 1
 853                         extractedEvents.write("\t\tcase %d:\n" % counter)
 854                         event = open("eventSimulator/alarmStrobeEvent.groovy", "r")
 855                         for line in event:
 856                                 extractedEvents.write(line)
 857                         event.close()
 858                         extractedEvents.write("\n\t\t\tbreak\n")
 859                         counter = counter + 1
 860                         extractedEvents.write("\t\tcase %d:\n" % counter)
 861                         event = open("eventSimulator/alarmOffEvent.groovy", "r")
 862                         for line in event:
 863                                 extractedEvents.write(line)
 864                         event.close()
 865                 elif eventList[i] == "contact":
 866                         #Check which capability
 867                         variable = eventVarMap[eventList[i]]
 868                         if eventList[i] not in eventVarCounterMap.keys():
 869                                 eventVarCounterMap[eventList[i]] = 1
 870                                 eventVarCount = 0
 871                         else:
 872                                 eventVarCount = eventVarCounterMap[eventList[i]]
 873                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 874                         capability = capabilityMap[variable[eventVarCount]]
 875                         #Write two events subsequently
 876                         if capability == "capability.contactSensor":
 877                                 event = open("eventSimulator/contactDefaultClosedEvent.groovy", "r")
 878                         elif capability == "capability.valve":
 879                                 event = open("eventSimulator/valveClosedEvent.groovy", "r")
 880                         for line in event:
 881                                 extractedEvents.write(line)
 882                         event.close()
 883                         extractedEvents.write("\n\t\t\tbreak\n")
 884                         counter = counter + 1
 885                         extractedEvents.write("\t\tcase %d:\n" % counter)
 886                         if capability == "capability.contactSensor":
 887                                 event = open("eventSimulator/contactDefaultOpenEvent.groovy", "r")
 888                         elif capability == "capability.valve":
 889                                 event = open("eventSimulator/valveOpenEvent.groovy", "r")
 890                         for line in event:
 891                                 extractedEvents.write(line)
 892                         event.close()
 893                 elif eventList[i] == "status":
 894                         #Write three events subsequently
 895                         event = open("eventSimulator/musicPlayerPlayingEvent.groovy", "r")
 896                         for line in event:
 897                                 extractedEvents.write(line)
 898                         event.close()
 899                         extractedEvents.write("\n\t\t\tbreak\n")
 900                         counter = counter + 1
 901                         extractedEvents.write("\t\tcase %d:\n" % counter)
 902                         event = open("eventSimulator/musicPlayerStoppedEvent.groovy", "r")
 903                         for line in event:
 904                                 extractedEvents.write(line)
 905                         event.close()
 906                         extractedEvents.write("\n\t\t\tbreak\n")
 907                         counter = counter + 1
 908                         extractedEvents.write("\t\tcase %d:\n" % counter)
 909                         event = open("eventSimulator/musicPlayerPausedEvent.groovy", "r")
 910                         for line in event:
 911                                 extractedEvents.write(line)
 912                         event.close()
 913                 elif eventList[i] == "level":
 914                         #Check which capability
 915                         variable = eventVarMap[eventList[i]]
 916                         if eventList[i] not in eventVarCounterMap.keys():
 917                                 eventVarCounterMap[eventList[i]] = 1
 918                                 eventVarCount = 0
 919                         else:
 920                                 eventVarCount = eventVarCounterMap[eventList[i]]
 921                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 922                         capability = capabilityMap[variable[eventVarCount]]
 923                         if capability == "capability.musicPlayer":
 924                                 event = open("eventSimulator/musicPlayerLevelEvent.groovy", "r")
 925                         elif capability == "capability.switchLevel":
 926                                 event = open("eventSimulator/switchLevelEvent.groovy", "r")
 927                         elif capability == "capability.colorControl":
 928                                 event = open("eventSimulator/colorLevelChangeEvent.groovy", "r")
 929                         elif capability == "capability.switch":
 930                                 event = open("eventSimulator/switchLevelChangeEvent.groovy", "r")
 931                         for line in event:
 932                                 extractedEvents.write(line)
 933                         event.close()
 934                 elif eventList[i] == "trackDescription":
 935                         event = open("eventSimulator/musicPlayerTrackDescriptionEvent.groovy", "r")
 936                         for line in event:
 937                                 extractedEvents.write(line)
 938                         event.close()
 939                 elif eventList[i] == "trackData":
 940                         event = open("eventSimulator/musicPlayerTrackDataEvent.groovy", "r")
 941                         for line in event:
 942                                 extractedEvents.write(line)
 943                         event.close()
 944                 elif eventList[i] == "mute":
 945                         #Write two events subsequently
 946                         event = open("eventSimulator/musicPlayerUnmutedEvent.groovy", "r")
 947                         for line in event:
 948                                 extractedEvents.write(line)
 949                         event.close()
 950                         extractedEvents.write("\n\t\t\tbreak\n")
 951                         counter = counter + 1
 952                         extractedEvents.write("\t\tcase %d:\n" % counter)
 953                         event = open("eventSimulator/musicPlayerMutedEvent.groovy", "r")
 954                         for line in event:
 955                                 extractedEvents.write(line)
 956                         event.close()
 957                 elif eventList[i] == "temperature":
 958                         #Check which capability
 959                         variable = eventVarMap[eventList[i]]
 960                         if eventList[i] not in eventVarCounterMap.keys():
 961                                 eventVarCounterMap[eventList[i]] = 1
 962                                 eventVarCount = 0
 963                         else:
 964                                 eventVarCount = eventVarCounterMap[eventList[i]]
 965                                 eventVarCounterMap[eventList[i]] = eventVarCount + 1
 966                         capability = capabilityMap[variable[eventVarCount]]
 967                         #Write two events subsequently
 968                         if capability == "capability.thermostat":
 969                                 event = open("eventSimulator/temperatureHighEvent.groovy", "r")
 970                         elif capability == "capability.temperatureMeasurement":
 971                                 event = open("eventSimulator/temperatureHighMeasurementEvent.groovy", "r")
 972                         for line in event:
 973                                 extractedEvents.write(line)
 974                         event.close()
 975                         extractedEvents.write("\n\t\t\tbreak\n")
 976                         counter = counter + 1
 977                         extractedEvents.write("\t\tcase %d:\n" % counter)
 978                         if capability == "capability.thermostat":
 979                                 event = open("eventSimulator/temperatureLowEvent.groovy", "r")
 980                         elif capability == "capability.temperatureMeasurement":
 981                                 event = open("eventSimulator/temperatureLowMeasurementEvent.groovy", "r")
 982                         for line in event:
 983                                 extractedEvents.write(line)
 984                         event.close()
 985                 elif eventList[i] == "heatingSetpoint":
 986                         event = open("eventSimulator/heatingSetpointEvent.groovy", "r")
 987                         for line in event:
 988                                 extractedEvents.write(line)
 989                         event.close()
 990                 elif eventList[i] == "coolingSetpoint":
 991                         event = open("eventSimulator/coolingSetpointEvent.groovy", "r")
 992                         for line in event:
 993                                 extractedEvents.write(line)
 994                         event.close()
 995                 elif eventList[i] == "thermostatSetpoint":
 996                         event = open("eventSimulator/thermostatSetpointEvent.groovy", "r")
 997                         for line in event:
 998                                 extractedEvents.write(line)
 999                         event.close()
1000                 elif eventList[i] == "threeAxis":
1001                         event = open("eventSimulator/threeAxisChangeEvent.groovy", "r")
1002                         for line in event:
1003                                 extractedEvents.write(line)
1004                         event.close()
1005
1006                 ###TODO: Add more events later
1007                 extractedEvents.write("\n\t\t\tbreak\n")
1008                 counter = counter + 1
1009         extractedEvents.write("\t}\n")
1010         extractedEvents.write("}\n")
1011
1012 def CheckIfOnlyTouchEvents():
1013         #Check and throw an error if it is all touch events
1014         #This is called Direct-Direct interaction and we do not model-check for this case
1015         onlyTouchEvents = True
1016         for item in eventList:
1017                 if item != "nfcTouch" and item != "app":
1018                         onlyTouchEvents = False
1019         if onlyTouchEvents is True and app1Subscribe is True and app2Subscribe is True:
1020                 # Write error log file
1021                 extractError = open("appCreationError.log", "w+")
1022                 extractError.write("Direct-Direct Interaction detected: we are skipping this pair...\n")
1023                 extractError.close()
1024                 raise Exception("\n\nDirect-Direct Interaction detected: we are skipping this pair...\n\n")
1025
1026
1027 #Extract objects to call functions from App1
1028 F1 = open("Extractor/App1/App1.groovy", "r")
1029 extractedFunctionsApp1 = open("Extractor/App1/extractedFunctionsApp1.groovy", "w+")
1030 ExtractFunctions(F1, "App1")
1031 F1.close()
1032
1033 #Extract objects to call functions from App2
1034 F2 = open("Extractor/App2/App2.groovy", "r")
1035 extractedFunctionsApp2 = open("Extractor/App2/extractedFunctionsApp2.groovy", "w+")
1036 ExtractFunctions(F2, "App2")
1037 F2.close()
1038
1039 #Prepare eventSimulator file while parsing the App1 and App2 files
1040 extractedEvents = open("eventSimulator/eventSimulator.groovy", "w+")
1041 CheckIfOnlyTouchEvents()
1042 ExtractEvents(extractedEvents)
1043 extractedEvents.close()
1044
1045 #Save the extracted methods and app1 in a same file to extract information
1046 extractorFile = open("Extractor/extractorFile.groovy", "w+")
1047 Extractor = open("Extractor/Extractor.groovy", "r")
1048 F1 = open("Extractor/App1/App1.groovy", "r")
1049
1050 extractorFile.write("////////////////////\n")
1051 extractorFile.write("@Field App\n")
1052 extractorFile.write("App = \"App1\"")
1053 extractorFile.write("\n")
1054 for line in Extractor:
1055         extractorFile.write(line)
1056 extractorFile.write("\n\n")
1057 for line in F1:
1058         extractorFile.write(line)
1059 extractorFile.close()
1060 Extractor.close()
1061 F1.close()
1062 #Run the file to extract the objects
1063 os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy")
1064
1065
1066 #Save the extracted methods and app2 in a same file to extract information
1067 extractorFile = open("Extractor/extractorFile.groovy", "w+")
1068 Extractor = open("Extractor/Extractor.groovy", "r")
1069 F2 = open("Extractor/App2/App2.groovy", "r")
1070
1071 extractorFile.write("////////////////////\n")
1072 extractorFile.write("@Field App\n")
1073 extractorFile.write("App = \"App2\"")
1074 extractorFile.write("\n")
1075 for line in Extractor:
1076         extractorFile.write(line)
1077 extractorFile.write("\n\n")
1078 for line in F2:
1079         extractorFile.write(line)
1080 #Run the file to extract the objects
1081 extractorFile.close()
1082 Extractor.close()
1083 F2.close()
1084 os.system("groovy -classpath lib/jpf.jar Extractor/extractorFile.groovy")
1085
1086