|
|
@@ -15,18 +15,22 @@ 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()
|
|
|
@@ -38,15 +42,28 @@ except InvalidMode:
|
|
|
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")))
|
|
|
+ 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", "abc")
|
|
|
- attr_assign("p1", "tokens", 1)
|
|
|
- print(read_attrs("p1"))
|
|
|
+ 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))
|
