test_printer.py 741 B

123456789101112131415161718
  1. import sys
  2. sys.path.append("wrappers/")
  3. from modelverse import *
  4. init()
  5. login("admin", "admin")
  6. model_add("formalisms/String", "formalisms/SimpleClassDiagrams", open("models/String.mvc", 'r').read())
  7. transformation_add_AL({}, {}, "models/test", open("models/test.alc", 'r').read())
  8. transformation_add_AL({"AL": "formalisms/ActionLanguage"}, {"String": "formalisms/String"}, "models/AL_to_Py", open("models/AL_to_py.alc", 'r').read())
  9. #print("VERIFY")
  10. #print(verify("models/AL_to_Py", "formalisms/ActionLanguage"))
  11. #print("VERIFY END")
  12. #print("VERIFY2")
  13. #print(verify("models/test", "formalisms/ActionLanguage"))
  14. #print("VERIFY2 END")
  15. transformation_execute_AL("models/AL_to_Py", {"AL": "models/test"}, {"String": "models/printed_string"})