HUTN_service.py 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081
  1. COMPILER_PATH = "interface/HUTN"
  2. import sys
  3. sys.path.append(COMPILER_PATH)
  4. sys.path.append("wrappers")
  5. from hutn_compiler.compiler import main as do_compile
  6. from modelverse import *
  7. import os
  8. import time
  9. time.sleep(1)
  10. print("INIT HUTN")
  11. init(sys.argv[1])
  12. print("INITTED HUTN")
  13. login("HUTN", "HUTN")
  14. def compile_service(port):
  15. start = time.time()
  16. temp_file = ".tmp_%s" % port
  17. def compile_AL(code):
  18. code_fragments = code.split("\n")
  19. code_fragments = [i for i in code_fragments if i.strip() != ""]
  20. code_fragments = [i.replace(" ", "\t") for i in code_fragments]
  21. initial_tabs = min([len(i) - len(i.lstrip("\t")) for i in code_fragments])
  22. code_fragments = [i[initial_tabs:] for i in code_fragments]
  23. code_fragments.append("")
  24. code = "\n".join(code_fragments)
  25. with open(temp_file, "w") as f:
  26. f.write(code)
  27. f.flush()
  28. ss = time.time()
  29. compiled = do_compile(temp_file, COMPILER_PATH + "/grammars/actionlanguage.g", "CS")
  30. print(" Compile: %ss" % (time.time() - ss))
  31. os.remove(temp_file)
  32. return compiled
  33. def compile_model(code):
  34. code_fragments = code.split("\n")
  35. code_fragments = [i for i in code_fragments if i.strip() != ""]
  36. code_fragments = [i.replace(" ", "\t") for i in code_fragments]
  37. initial_tabs = min([len(i) - len(i.lstrip("\t")) for i in code_fragments])
  38. code_fragments = [i[initial_tabs:] for i in code_fragments]
  39. code_fragments.append("")
  40. code = "\n".join(code_fragments)
  41. with open(temp_file, "w") as f:
  42. f.write(code)
  43. f.flush()
  44. compiled = do_compile(temp_file, COMPILER_PATH + "/grammars/modelling.g", "M")
  45. os.remove(temp_file)
  46. return compiled
  47. mode = service_get(port)
  48. code = service_get(port)
  49. try:
  50. if mode == "code":
  51. compiled = compile_AL(code)
  52. service_set(port, "OK")
  53. service_set(port, compiled)
  54. elif mode == "model":
  55. compiled = compile_model(code)
  56. service_set(port, "OK")
  57. service_set(port, compiled)
  58. else:
  59. raise Exception("No such mode: " + mode)
  60. except Exception as e:
  61. service_set(port, str(e))
  62. raise
  63. print("Compile took %ss" % (time.time() - start))
  64. service_register("compiler", compile_service)
  65. try:
  66. while raw_input() != "STOP":
  67. pass
  68. finally:
  69. service_stop()