Modelled first 16 rules

bootstrap/MvK_rules.mvc

@@ -307,7 +307,9 @@ Rule Break_N6 {
         value = "!break"
         match = True
     }
-    Match N6_6 {}
+    Match N6_6 {
+        value = "!while"
+    }
 
     MatchEdge (N6_0, N6_1) {
         value = "username"
@@ -967,6 +969,133 @@ Rule Call_Resolve_No_Params_N13 {
     }
 }
 
+Rule Call_Resolve_Params_N14 {
+    Root N14_0 {}
+    Match N14_1 {}
+    Match N14_2 {}
+    Match N14_3 {}
+    Create N14_4 {}
+    Match N14_5 {}
+    Match N14_6 {}
+    Match N14_7 {
+        value = "'init'"
+    }
+    Match N14_8 {}
+
+    MatchEdge (N14_0, N14_1) {
+        value = "username"
+    }
+    MatchEdge (N14_1, N14_2) {
+        value = "'frame'"
+    }
+    DeleteEdge (N14_2, N14_3) {
+        value = "'evalstack'"
+    }
+    CreateEdge (N14_2, N14_4) {
+        value = "'evalstack'"
+    }
+    DeleteEdge (N14_2, N14_5) {
+        value = "'IP'"
+    }
+    CreateEdge (N14_2, N14_6) {
+        value = "'IP'"
+    }
+    MatchEdge (N14_2, N14_7) {
+        value = "'phase'"
+    }
+    CreateEdge (N14_3, N14_8) {
+        value = "'phase'"
+    }
+    CreateEdge (N14_3, N14_5) {
+        value = "'inst'"
+    }
+    CreateEdge (N14_4, N14_3) {
+        value = "'prev'"
+    }
+    MatchEdge (N14_5, N14_8) {
+        value = "'params'"
+    }
+    MatchEdge (N14_5, N14_6) {
+        value = "'func'"
+    }
+}
+
+Rule Const_N15 {
+    Root N15_0 {}
+    Match N15_1 {}
+    Match N15_2 {}
+    Match N15_3 {}
+    Delete N15_4 {
+        value = "'init'"
+    }
+    Create N15_5 {
+        value = "'finish'"
+    }
+    Match N15_6 {
+        value = "!const"
+    }
+    Match N15_7 {}
+
+    MatchEdge (N15_0, N15_1) {
+        value = "username"
+    }
+    MatchEdge (N15_1, N15_2) {
+        value = "'frame'"
+    }
+    CreateEdge (N15_2, N15_7) {
+        value = "'returnvalue'"
+    }
+    DeleteEdge (N15_2, N15_3) {
+        value = "'returnvalue'"
+    }
+    DeleteEdge (N15_2, N15_4) {
+        value = "'phase'"
+    }
+    CreateEdge (N15_2, N15_5) {
+        value = "'phase'"
+    }
+    MatchEdge (N15_2, N15_6) {
+        value = "'IP'"
+    }
+    MatchEdge (N15_6, N15_7) {
+        value = "'node'"
+    }
+}
+
+Rule Continue_N16 {
+    Root N16_0 {}
+    Match N16_1 {}
+    Match N16_2 {}
+    Match N16_3 {
+        value = "'init'"
+    }
+    Match N16_4 {
+        value = "!continue"
+    }
+    Match N16_5 {
+        value = "!while"
+    }
+
+    MatchEdge (N16_0, N16_1) {
+        value = "username"
+    }
+    MatchEdge (N16_1, N16_2) {
+        value = "'frame'"
+    }
+    MatchEdge (N16_2, N16_3) {
+        value = "'init'"
+    }
+    DeleteEdge (N16_2, N16_4) {
+        value = "'IP'"
+    }
+    CreateEdge (N16_2, N16_5) {
+        value = "'IP'"
+    }
+    MatchEdge (N16_4, N16_5) {
+        value = "'while'"
+    }
+}
+
 Rule If_False_N21 {
     Root N21_root {}
     Match N21_userroot {