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())
    raise Exception("ERROR")
except InvalidMode:
    print(types())
    try:
        print(read("Place"))
        raise Exception("ERROR")
    except UnknownIdentifier:
        print(read("Class"))
        try:
            print(read_attrs("Place"))
            raise Exception("ERROR")
        except UnknownIdentifier:
            print(read_attrs("Class"))
            try:
                print(instantiate("Class", None, "abc"))
                raise Exception("ERROR")
            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)
                p1 = instantiate("Place")
                p2 = instantiate("Place")
                t1 = instantiate("Transition")
                p2t = instantiate("P2T", (p1, t1))
                t2p = instantiate("T2P", (t1, p2))
                print(element_list())
                print(read_attrs(p1))
                attr_assign(p1, "name", "p1")
                attr_assign(p1, "tokens", 1)
                print(read_attrs(p1))
                model_exit()
                print(verify(model_name2))
                model_modify(model_name2)
                attr_assign(p2, "name", "p2")
                attr_assign(p2, "tokens", 3)
                model_exit()
                print(verify(model_name2))
                model_modify(model_name2)
                attr_assign(t1, "name", "t1")
                try:
                    attr_assign(t2p, "weight", 2)
                    raise Exception("ERROR")
                except NoSuchAttribute:
                    model_exit()
                    print(verify(model_name2))