test_modelverse.py 616 B

1234567891011121314151617181920212223242526272829
  1. from modelverse import *
  2. from random import random
  3. username = str(random())
  4. password = str(random())
  5. init()
  6. register(username, password)
  7. try:
  8. model_add("PetriNets", "SimpleClassDiagrams", open("../models/petrinet_ports.mvc", "r").read())
  9. except ModelExists:
  10. pass
  11. model_modify("SimpleClassDiagrams")
  12. print(element_list())
  13. try:
  14. model_list()
  15. except InvalidMode:
  16. print(types())
  17. try:
  18. print(read("Place"))
  19. except UnknownIdentifier:
  20. print(read("Class"))
  21. try:
  22. print(read_attrs("Place"))
  23. except UnknownIdentifier:
  24. print(read_attrs("Class"))