modelverse/wrappers/test_modelverse.py

from modelverse import *
from random import random

username = str(random())
password = str(random())
model_name = str(random())
model_name2 = str(random())

init()
login(username, password)

model_add(model_name, "SimpleClassDiagrams", open("models/petrinet_ports.mvc", "r").read())
print(verify("SimpleClassDiagrams"))
model_modify("SimpleClassDiagrams")
print(element_list())
try:
    print(model_list())
except InvalidMode:
    print(types())
    try:
        print(read("Place"))
    except UnknownIdentifier:
        print(read("Class"))
        try:
            print(read_attrs("Place"))
        except UnknownIdentifier:
            print(read_attrs("Class"))
            try:
                print(instantiate("Class", None, "abc"))
            except PermissionDenied:
                print(("abc", "Class") not in element_list())
                model_exit()
                print(verify(model_name))
                model_modify(model_name)
                print(element_list())
                print(instantiate("Class", None, "abc"))
                print(("abc", "Class") in element_list())
                model_exit()
                model_add(model_name2, model_name)
                model_modify(model_name2)
                print(instantiate("Place", None, "p1"))
                print(instantiate("Place", None, "p2"))
                print(instantiate("Transition", None, "t1"))
                print(instantiate("P2T", ("p1", "t1")))
                print(instantiate("T2P", ("t1", "p2")))
                print(element_list())
                print(read_attrs("p1"))
                attr_assign("p1", "name", "abc")
                attr_assign("p1", "tokens", 1)
                print(read_attrs("p1"))
                model_exit()
                print(verify(model_name2))