Browse Source

Fixed invalid process models

Yentl Van Tendeloo 5 years ago
parent
commit
67bb9b16cd

+ 2 - 0
examples/live_modelling_DTCBD.py

@@ -29,6 +29,7 @@ transformation_add_AL({}, {}, "models/DTCBD/restartSim", open("models/generic/re
 
 model_add("models/live_modelling_DTCBD", "formalisms/ProcessModel", open("models/DTCBD/PM_live_modelling.mvc", 'r').read())
 
+"""
 def modify_model(model):
     elements = element_list_nice(model)
     for e in elements:
@@ -51,3 +52,4 @@ def modify_model(model):
             instantiate(model, "Design/Link", (mult, destination))
 
 process_execute("models/live_modelling_DTCBD", {"design_model": "models/DTCBD_model"}, {"models/DTCBD/edit": modify_model})
+"""

+ 2 - 0
interface/HUTN/hutn_compiler/semantics_visitor.py

@@ -159,6 +159,8 @@ class SemanticsVisitor(Visitor):
             try:
                 self.visit(call_tree)
             except RuntimeError:
+                print(call_name)
+                print(l_type)
                 call_signature = "Boolean function {1}({2}, {2})".format(call_name, l_type)
                 raise RuntimeError(
                     "{}:{}:{}: error: cannot perform {}: function '{}' is "

+ 1 - 0
models/CTCBD/PM_live_modelling.mvc

@@ -1,4 +1,5 @@
 Start start {}
+Finish finish {}
 
 Exec toRuntime_0 {
     name = "models/CTCBD/toRuntime"

+ 1 - 0
models/DTCBD/PM_live_modelling.mvc

@@ -1,4 +1,5 @@
 Start start {}
+Finish finish {}
 
 Exec toRuntime_0 {
     name = "models/DTCBD/toRuntime"

+ 1 - 0
models/FiniteStateAutomata/PM_live_modelling.mvc

@@ -1,4 +1,5 @@
 Start start {}
+Finish finish {}
 
 Exec toRuntime_0 {
     name = "models/FSA/toRuntime"

+ 43 - 1
tutorial.ipynb

@@ -4,7 +4,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "# Modelverse Tutorial: Jupyter Integration"
+    "# Jupyter Integration"
    ]
   },
   {
@@ -84,6 +84,48 @@
     "svg.data = show(\"models/my_FSA\")\n",
     "display(svg)"
    ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "# Semantics"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Manual"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Action Language"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Model Transformation"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "# Process Enactment"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": []
   }
  ],
  "metadata": {