|
@@ -0,0 +1,40 @@
|
|
|
+import sys
|
|
|
+sys.path.append("wrappers")
|
|
|
+from modelverse import *
|
|
|
+
|
|
|
+init()
|
|
|
+login("admin", "admin")
|
|
|
+
|
|
|
+model_add("test/SCCD", "formalisms/SimpleClassDiagrams", open("models/SCCD/metamodels/SCCD.mvc", 'r').read())
|
|
|
+model_add("test/SCCD_Trace", "formalisms/SimpleClassDiagrams", open("models/DiscreteEventTrace/metamodels/trace.mvc", 'r').read())
|
|
|
+
|
|
|
+model_add("test/my_SCCD", "test/SCCD", open("models/SCCD/models/dynamic_trafficlight.mvc", 'r').read())
|
|
|
+
|
|
|
+#transformation_add_AL({"SCCD": "test/SCCD"}, {"trace": "test/SCCD_Trace"}, "test/SCCD_execute_afap", open("models/SCCD/transformations/execute.alc", 'r').read().replace("afap = False", "afap = True"))
|
|
|
+transformation_add_AL({"SCCD": "test/SCCD"}, {"trace": "test/SCCD_Trace"}, "test/SCCD_execute_afap", open("models/SCCD/transformations/execute.alc", 'r').read())
|
|
|
+
|
|
|
+import poll_print
|
|
|
+ctrl = poll_print.Controller(keep_running=False)
|
|
|
+
|
|
|
+thrd = threading.Thread(target=ctrl.start)
|
|
|
+thrd.daemon = True
|
|
|
+thrd.start()
|
|
|
+
|
|
|
+def input_thread():
|
|
|
+ import select
|
|
|
+ while thrd.is_alive():
|
|
|
+ if select.select([sys.stdin], [], [], 0.1)[0]:
|
|
|
+ ctrl.addInput(Event("raw_inp", "user_inp", [sys.stdin.readline().strip()]))
|
|
|
+
|
|
|
+thrd2 = threading.Thread(target=input_thread)
|
|
|
+thrd2.daemon = True
|
|
|
+thrd2.start()
|
|
|
+
|
|
|
+transformation_execute_AL("test/SCCD_execute_afap", {"SCCD": "test/my_SCCD"}, {"trace": "test/my_SCCD_trace"}, statechart=(ctrl, "inp", "outp"))
|
|
|
+
|
|
|
+alter_context("test/my_SCCD_trace", "test/SCCD_Trace")
|
|
|
+lst = element_list_nice("test/my_SCCD_trace")
|
|
|
+
|
|
|
+lst.sort(key=lambda i: (i["timestamp"], i["name"]))
|
|
|
+result = [(i["timestamp"], str(i["name"])) for i in lst if i["name"] not in ["updateTimerValue", "updateTimerColour", "resetTimer"]]
|
|
|
+print(result)
|