Bläddra i källkod

Add some code for trace visualization

Yentl Van Tendeloo 7 år sedan
förälder
incheckning
6d2306b962
2 ändrade filer med 12 tillägg och 7 borttagningar
  1. 11 6
      models/upload_models.py
  2. 1 1
      wrappers/modelverse_SCCD.py

+ 11 - 6
models/upload_models.py

@@ -5,6 +5,17 @@ from modelverse import *
 init()
 login("admin", "admin")
 
+"""
+model_add("formalisms/Trace", "formalisms/SimpleClassDiagrams", open("models/trace.mvc", 'r').read())
+model_add("models/trace", "formalisms/Trace", open("models/trace_example.mvc", 'r').read())
+
+model_add("formalisms/MM_render/plot", "formalisms/SimpleClassDiagrams", open("models/MM_rendered_plot.mvc", 'r').read())
+def add_trace_trace(model):
+    instantiate(model, "Association", ("abstract/Signal", "rendered/Dataset"), ID="TracabilityLink")
+
+transformation_add_MT({"abstract": "formalisms/Trace", "rendered": "formalisms/MM_render/plot"}, {"rendered": "formalisms/MM_render/plot"}, "models/trace_mapper", open("models/trace_mapper.mvc", 'r').read(), add_trace_trace)
+"""
+
 model_add("formalisms/MM_render/graphical", "formalisms/SimpleClassDiagrams", open("models/MM_render.mvc", 'r').read())
 
 def scd_tracability(model):
@@ -14,14 +25,11 @@ def scd_tracability(model):
 transformation_add_AL({"rendered": "formalisms/MM_render/graphical", "abstract": "formalisms/SimpleClassDiagrams"}, {"rendered": "formalisms/MM_render/graphical"}, "models/render_SCD", open("models/render_SCD.alc", 'r').read(), callback=scd_tracability)
 
 model_add("formalisms/CBD/Design_MM", "formalisms/SimpleClassDiagrams", open("models/cbd_design.mvc", 'r').read())
-"""
 model_add("formalisms/CBD/PartialRuntime_MM", "formalisms/SimpleClassDiagrams", open("models/cbd_partial_runtime.mvc", 'r').read())
 model_add("formalisms/CBD/FullRuntime_MM", "formalisms/SimpleClassDiagrams", open("models/cbd_runtime.mvc", 'r').read())
-"""
 
 model_add("models/CBD_spring", "formalisms/CBD/Design_MM", open("models/cbd_spring.mvc", 'r').read())
 
-"""
 transformation_add_MANUAL({"Design": "formalisms/CBD/Design_MM"}, {"Design": "formalisms/CBD/Design_MM"}, "models/CBD/edit")
 
 def trace_D2P(model):
@@ -37,14 +45,12 @@ transformation_add_AL({"FullRuntime": "formalisms/CBD/FullRuntime_MM"}, {"FullRu
 transformation_add_AL({}, {}, "models/CBD/restartSim", open("models/cbd_restartSim.alc", 'r').read())
 
 model_add("models/live_modelling_CBD", "formalisms/ProcessModel", open("models/pm_live_CBD.mvc", 'r').read())
-"""
 
 def add_trace_CBD(model):
     instantiate(model, "Association", ("abstract/Block", "rendered/Group"), ID="TracabilityClass")
 
 transformation_add_AL({"abstract": "formalisms/CBD/Design_MM", "rendered": "formalisms/MM_render/graphical"}, {"rendered": "formalisms/MM_render/graphical"}, "models/CBD/render_graphical", open("models/CBD_mapper.alc", 'r').read(), add_trace_CBD)
 
-"""
 def modify_model(model):
     if len(all_instances(model, "Design/ProbeBlock")) > 2:
         import time
@@ -63,7 +69,6 @@ def idle(model):
 
 #process_execute("models/live_modelling_CBD", {"design_model": "models/CBD_spring"}, {"models/CBD/edit": modify_model})
 #process_execute("models/live_modelling_CBD", {"design_model": "models/CBD_spring"}, {"models/CBD/edit": idle})
-"""
 
 """
 model_add("formalisms/PW_Plant", "formalisms/SimpleClassDiagrams", open("models/plant_PW.mvc", 'r').read())

+ 1 - 1
wrappers/modelverse_SCCD.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
 
-Date:   Fri Nov 17 11:34:41 2017
+Date:   Fri Nov 17 16:03:01 2017
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server