|
@@ -59,12 +59,7 @@ except ModelExists:
|
|
|
# Add an example model transformation to print the reachability graph
|
|
|
print("Add MT model")
|
|
|
try:
|
|
|
- transformation_add_MT_language(["ReachabilityGraph"], "RAMified_ReachabilityGraph")
|
|
|
-except ModelExists:
|
|
|
- pass
|
|
|
-
|
|
|
-try:
|
|
|
- transformation_add_MT("RAMified_ReachabilityGraph", {"ReachabilityGraph": "ReachabilityGraph"}, {}, "printReachability", open("models/reachabilitygraph_print.mvc").read())
|
|
|
+ transformation_add_MT({"ReachabilityGraph": "ReachabilityGraph"}, {}, "printReachability", open("models/reachabilitygraph_print.mvc").read())
|
|
|
except ModelExists:
|
|
|
pass
|
|
|
|