primitives_object_visitor.py 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. import string
  2. from primitives_visitor import PrimitivesVisitor
  3. from cached_exception import CachedException
  4. import urllib
  5. import urllib2
  6. import json
  7. class PrimitivesObjectVisitor(PrimitivesVisitor):
  8. def __init__(self, args):
  9. PrimitivesVisitor.__init__(self, args)
  10. self.username = args[0]
  11. self.obj_file = args[1]
  12. self.real_file = args[2]
  13. self.address = args[3]
  14. self.object_symbols = {}
  15. def flush_data(data):
  16. if data:
  17. urllib2.urlopen(urllib2.Request(self.address, urllib.urlencode({"op": "set_input", "data": json.dumps(data), "username": self.username}))).read()
  18. return []
  19. with open(self.real_file, 'r') as f:
  20. import hashlib
  21. md5 = hashlib.md5()
  22. md5.update(f.read())
  23. self.hash_file = md5.hexdigest()
  24. # Check if file is already compiled (with same hash) in Modelverse
  25. urllib2.urlopen(urllib2.Request(self.address, urllib.urlencode({"op": "set_input", "element_type": "V", "value": '"%s"' % self.username, "username": "user_manager"}))).read()
  26. flush_data([3, "is_defined", self.obj_file])
  27. v = urllib2.urlopen(urllib2.Request(self.address, urllib.urlencode({"op": "get_output", "username": self.username}))).read()
  28. v = json.loads(v)
  29. simple_filename = self.real_file.rsplit("/")[-1]
  30. if v == None:
  31. # Not defined, so recompile
  32. print("[COMPILE] %s" % simple_filename)
  33. else:
  34. # Is defined already, so let's compare hashes
  35. if v != self.hash_file:
  36. print("[COMPILE] %s" % simple_filename)
  37. else:
  38. print("[CACHED] %s" % simple_filename)
  39. raise CachedException()
  40. def dump(self):
  41. v = PrimitivesVisitor.dump(self)
  42. data = []
  43. # Set up interface
  44. data = [3, "upload", self.obj_file, self.hash_file, False]
  45. # Start uploading the code
  46. data.append(v)
  47. # Upload symbol table
  48. for e, v in self.object_symbols.iteritems():
  49. data.extend([True, e, v])
  50. # Finish the symbol table
  51. data.append(False)
  52. # Wait for kernel to signal that it finished
  53. data.append(2)
  54. urllib2.urlopen(urllib2.Request(self.address, urllib.urlencode({"op": "set_input", "data": json.dumps(data), "username": self.username}))).read()
  55. v = urllib2.urlopen(urllib2.Request(self.address, urllib.urlencode({"op": "get_output", "username": self.username}))).read()
  56. v = json.loads(v)
  57. if v == "DONE":
  58. return True
  59. else:
  60. return False
  61. def visit_definition(self, tree):
  62. for a in tree.get_children("ID"):
  63. name = a.get_tail()[0]
  64. self.object_symbols[name] = True
  65. return PrimitivesVisitor.visit_definition(self, tree)
  66. def visit_vardecl(self, tree):
  67. if len(tree.get_tail()) > 2:
  68. for a in tree.get_children("ID"):
  69. name = a.get_tail()[0]
  70. self.object_symbols.setdefault(name, False)
  71. return PrimitivesVisitor.visit_vardecl(self, tree)
  72. else:
  73. return PrimitivesVisitor.visit_vardecl(self, tree)
  74. def visit_funcdecl(self, tree):
  75. for a in tree.get_children("func_name"):
  76. for b in a.get_children("ID"):
  77. name = b.get_tail()[0]
  78. if tree.get_children("func_body") or tree.get_children("ASSIGN"):
  79. self.object_symbols[name] = True
  80. else:
  81. self.object_symbols.setdefault(name, False)
  82. return PrimitivesVisitor.visit_funcdecl(self, tree)