main.py 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314
  1. import matplotlib
  2. matplotlib.use("TkAgg")
  3. from matplotlib.backends.backend_tkagg import FigureCanvasTkAgg
  4. from matplotlib.figure import Figure
  5. from Tkinter import *
  6. import tkSimpleDialog
  7. import urllib
  8. import urllib2
  9. JUMP = 40
  10. MAX_WIDTH = 20 * JUMP
  11. MAX_HEIGHT = 20 * JUMP
  12. address = "http://127.0.0.1:8001"
  13. username = "test"
  14. root = Tk()
  15. canvas = Canvas(root, width=MAX_WIDTH, height=MAX_HEIGHT, bg="white")
  16. canvas.pack()
  17. name = 0
  18. class FakeLayer():
  19. def __init__(self, address):
  20. self.types = {}
  21. self.sources = {}
  22. self.targets = {}
  23. self.attrs = {}
  24. def read_available_attributes(self, name):
  25. if self.types[name] == "const":
  26. return ["value"]
  27. else:
  28. return []
  29. def read_attribute(self, name, attr):
  30. return self.attr.get(name, {}).get(attr, None)
  31. def set_attribute(self, name, attr, value):
  32. self.attrs[name][attr] = value
  33. def instantiate_block(self, name, block_type):
  34. self.types[name] = block_type
  35. def instantiate_link(self, name, link_type, source, target):
  36. self.types[name] = link_type
  37. self.sources[name] = source
  38. self.targets[name] = target
  39. self.attrs[name] = {}
  40. def simulate(self):
  41. pass
  42. def step(self):
  43. pass
  44. def pause(self):
  45. pass
  46. attribute = []
  47. available_attrs = []
  48. simulation = []
  49. #simulation = [(1, {"a": 1, "b": 2}), (2, {"a": 3}), (3, {"a": 4, "b": 6})]
  50. def poll(address):
  51. working_available_attrs = []
  52. working_simulation = None
  53. while 1:
  54. print("Waiting for input for server!")
  55. returnvalue = urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "get_output", "username": username}))).read()
  56. print("Process " + str(returnvalue))
  57. if (returnvalue.startswith("AVAILABLE_ATTR_VALUE")):
  58. working_available_attrs.append((returnvalue.split(" ", 1)[1], None))
  59. elif (returnvalue.startswith("AVAILABLE_ATTR_TYPE")):
  60. working_available_attrs[-1][1] = returnvalue.split(" ", 1)[1]
  61. elif (returnvalue.startswith("AVAILABLE_ATTR_END")):
  62. available_attrs.append(working_available)
  63. working_available = []
  64. elif (returnvalue.startswith("ATTR_VALUE")):
  65. attribute.append(returnvalue.split(" ", 1)[1])
  66. elif (returnvalue.startswith("SIM_TIME")):
  67. working_simulation = (float(returnvalue.split(" ", 1)[1]), {})
  68. elif (returnvalue.startswith("SIM_PROBE")):
  69. blockname, blockvalue = returnvalue.split(" ", 1)[1].rsplit(" ", 1)
  70. working_simulation[1][blockname] = blockvalue
  71. elif (returnvalue.startswith("SIM_END")):
  72. simulation.append(working_simulation)
  73. working_simulation = None
  74. class MvLayer():
  75. def __init__(self, address):
  76. import threading
  77. self.address = address
  78. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % username, "username": "user_manager"}))).read()
  79. thrd = threading.Thread(target=poll, args=[address])
  80. thrd.daemon = True
  81. thrd.start()
  82. def read_available_attributes(self, name):
  83. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"read_available_attributes"', "username": username}))).read()
  84. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % name, "username": username}))).read()
  85. while not available_attrs:
  86. time.sleep(0.1)
  87. return available_attrs.pop(0)
  88. def read_attribute(self, name, attr):
  89. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"read_attribute"', "username": username}))).read()
  90. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % name, "username": username}))).read()
  91. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % attr, "username": username}))).read()
  92. while not attribute:
  93. time.sleep(0.1)
  94. return attribute.pop(0)
  95. def set_attribute(self, name, attr, value):
  96. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"set_attribute"', "username": username}))).read()
  97. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % name, "username": username}))).read()
  98. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % attr, "username": username}))).read()
  99. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % value, "username": username}))).read()
  100. def instantiate_block(self, name, block_type):
  101. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"instantiate_node"', "username": username}))).read()
  102. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % (block_type), "username": username}))).read()
  103. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % (name), "username": username}))).read()
  104. def instantiate_link(self, name, link_type, source, target):
  105. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"instantiate_association"', "username": username}))).read()
  106. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % (link_type), "username": username}))).read()
  107. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % (name), "username": username}))).read()
  108. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % (source), "username": username}))).read()
  109. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"%s"' % (target), "username": username}))).read()
  110. def simulate(self):
  111. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"simulate"', "username": username}))).read()
  112. def step(self):
  113. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"step"', "username": username}))).read()
  114. def pause(self):
  115. urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "value": '"pause"', "username": username}))).read()
  116. def lower(value):
  117. return value / JUMP * JUMP
  118. def upper(value):
  119. return (value / JUMP + 1) * JUMP
  120. def avg(a, b):
  121. return float(a + b) / 2
  122. class InterfaceCore():
  123. mode = ""
  124. drawn = set()
  125. refs = dict()
  126. mappings = {"+": "AdditionBlock",
  127. "-": "NegationBlock",
  128. }
  129. mv = MvLayer(address)
  130. #mv = FakeLayer(address)
  131. def set_mode(self, mode):
  132. self.mode = mode
  133. def clicked(self, event):
  134. if self.mode not in ["+", "-"]:
  135. print("Cannot create something not guaranteed to be block type!")
  136. else:
  137. if self.find((event.x, event.y)):
  138. # Something already there, so don't add, but modify
  139. lname = self.find((event.x, event.y))
  140. attrs = self.mv.read_available_attributes(lname)
  141. if not attrs:
  142. print("No attrs to manage!")
  143. for attr, t in attrs:
  144. old_value = self.mv.read_attribute(lname, attr)
  145. if old_value == "None":
  146. old_value = None
  147. new_value = tkSimpleDialog.askstring("Attribute modification", attr, initialvalue=old_value)
  148. if t == "Float":
  149. new_value = float(new_value)
  150. self.mv.set_attribute(lname, attr, new_value)
  151. else:
  152. global name
  153. x = event.x
  154. y = event.y
  155. self.mv.instantiate_block(str(name), self.mappings[self.mode])
  156. r = canvas.create_rectangle(lower(x), lower(y), upper(x), upper(y), fill="white")
  157. t = canvas.create_text(avg(lower(x), upper(x)), avg(lower(y), upper(y)), text=self.mode, fill="black")
  158. b = (lower(x), lower(y), upper(x), upper(y), str(name))
  159. self.drawn.add(b)
  160. self.refs[str(name)] = [r, t]
  161. name += 1
  162. def find(self, location):
  163. x, y = location
  164. for e in self.drawn:
  165. if (e[0] <= x and
  166. e[1] <= y and
  167. e[2] >= x and
  168. e[3] >= y):
  169. return e[4]
  170. print("Found nothing at that location!")
  171. return []
  172. def draw(self, start, end):
  173. source = self.find(start)
  174. target = self.find(end)
  175. print("Connect from %s to %s" % (source, target))
  176. if source and target:
  177. if self.mode not in ["Link", "IC"]:
  178. print("Cannot create something not guaranteed to be link type!")
  179. else:
  180. global name
  181. self.mv.instantiate_link(str(name), self.mode, source, target)
  182. self.refs[str(name)] = [canvas.create_line(start[0], start[1], end[0], end[1], fill="black", arrow=LAST)]
  183. name += 1
  184. core = InterfaceCore()
  185. def addition():
  186. core.set_mode("+")
  187. def negation():
  188. core.set_mode("-")
  189. def link():
  190. core.set_mode("Link")
  191. def clicked(event):
  192. core.clicked(event)
  193. def draw(event):
  194. global start_location
  195. start_location = (event.x, event.y)
  196. def release(event):
  197. core.draw(start_location, (event.x, event.y))
  198. def simulate():
  199. core.mv.simulate()
  200. def step():
  201. core.mv.step()
  202. def pause():
  203. core.mv.pause()
  204. Button(root, text="+", command=addition).pack()
  205. Button(root, text="-", command=negation).pack()
  206. Button(root, text="Link", command=link).pack()
  207. Button(root, text="SIM", command=simulate).pack()
  208. Button(root, text="STEP", command=step).pack()
  209. Button(root, text="PAUSE", command=pause).pack()
  210. core.canvas = canvas
  211. for i in range(JUMP, MAX_HEIGHT, JUMP):
  212. canvas.create_line(0, i, MAX_HEIGHT, i, fill="grey")
  213. for i in range(JUMP, MAX_WIDTH, JUMP):
  214. canvas.create_line(i, 0, i, MAX_WIDTH, fill="grey")
  215. canvas.bind("<Button-1>", clicked)
  216. canvas.bind("<Button-3>", draw)
  217. canvas.bind("<ButtonRelease-3>", release)
  218. visual = Toplevel(root)
  219. probes = {}
  220. values = {}
  221. #simulation = [(1, {"a": 1, "b": 2}), (2, {"a": 3}), (3, {"a": 4, "b": 6})]
  222. def update_graphs():
  223. while simulation:
  224. t, results = simulation.pop(0)
  225. for k, v in results.items():
  226. if k in probes:
  227. fcanvas, a = probes[k]
  228. else:
  229. f = Figure(figsize=(5,5), dpi=100)
  230. a = f.add_subplot(111)
  231. a.plot([], [])
  232. fcanvas = FigureCanvasTkAgg(f, visual)
  233. fcanvas.show()
  234. fcanvas.get_tk_widget().pack()
  235. probes[k] = (fcanvas, a)
  236. values[k] = ([], [])
  237. values[k][0].append(t)
  238. values[k][1].append(v)
  239. a.clear()
  240. a.plot(values[k][0], values[k][1], linestyle="none", marker="o")
  241. fcanvas.draw()
  242. root.after(50, update_graphs)
  243. root.after(50, update_graphs)
  244. root.mainloop()