Browse Source

Minor fixes

Yentl Van Tendeloo 3 years ago
parent
commit
5eb56a10d7
1 changed files with 12 additions and 9 deletions
  1. 12 9
      New_MM.ipynb

+ 12 - 9
New_MM.ipynb

@@ -172,8 +172,8 @@
        " ('State.name', 'String'),\n",
        " ('Transition', 'Association'),\n",
        " ('Transition.name', 'String'),\n",
-       " ('__1049544', 'Class_name'),\n",
-       " ('__1049616', 'Class_name')}"
+       " ('__1049608', 'Class_name'),\n",
+       " ('__1049680', 'Class_name')}"
       ]
      },
      "execution_count": 7,
@@ -193,7 +193,7 @@
     {
      "data": {
       "text/plain": [
-       "'__1054084'"
+       "'__1054148'"
       ]
      },
      "execution_count": 8,
@@ -257,8 +257,8 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "All initial element IDs: {'__1063063'}\n",
-      "All state element IDs: {'__1063063', '__1054084'}\n"
+      "All initial element IDs: {'__1063127'}\n",
+      "All state element IDs: {'__1063127', '__1054148'}\n"
      ]
     }
    ],
@@ -362,7 +362,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "Lower cardinality violation for outgoing edge of type State_name at NODE __1054084 (ID: 1054084)\n"
+      "Lower cardinality violation for outgoing edge of type State_name at NODE __1054148 (ID: 1054148)\n"
      ]
     }
    ],
@@ -819,7 +819,7 @@
       "Before:\n",
       "[]\n",
       "After:\n",
-      "[{'__id': '__1278360', '__type': 'State', 'name': 'new_state'}]\n"
+      "[{'__id': '__1250764', '__type': 'State', 'name': 'new_state'}]\n"
      ]
     }
    ],
@@ -956,9 +956,12 @@
     "        name = \"S2\"\n",
     "    }\n",
     "    Transition (init, s1) {\n",
+    "        trigger = \"B\"\n",
+    "        raise = \"C\"\n",
     "    }\n",
     "    Transition (s1, s2) {\n",
     "        trigger = \"A\"\n",
+    "        raise = \"D\"\n",
     "    }\n",
     "    \"\"\")\n",
     "transformation_execute_AL(\"formalisms/MyOwnFSA_activities/simulate\", {\"FSA\": \"models/my_FSA\"}, {})"
@@ -1047,9 +1050,9 @@
      "output_type": "stream",
      "text": [
       "Before:\n",
-      "[{'__id': 'a', '__type': 'InitialState', 'name': 'A'}, {'__id': 'b', '__type': 'State', 'name': 'B'}, {'__id': 'c', '__type': 'State', 'name': 'C'}, {'__id': '__0', '__type': 'Transition', '__source': 'a', '__target': 'b', 'trigger': None, 'raise': None, 'script': {'AL': ''}}]\n",
+      "{'c', 'b', 'a'}\n",
       "After:\n",
-      "[{'__id': 'a', '__type': 'InitialState', 'name': 'A'}, {'__id': 'b', '__type': 'State', 'name': 'B'}, {'__id': '__0', '__type': 'Transition', '__source': 'a', '__target': 'b', 'trigger': None, 'raise': None, 'script': {'AL': ''}}]\n"
+      "{'a', 'b'}\n"
      ]
     }
    ],