瀏覽代碼

Revert "Update rules to make them compilable (bootstrap rules)":
pull them out of bootstrap for compilation and performance reasons

This reverts commit 85e5e51b76dabf2bd954057297306c0001ce50ea.

Yentl Van Tendeloo 7 年之前
父節點
當前提交
67d78dbfdf
共有 3 個文件被更改,包括 2129 次插入2046 次删除
  1. 2012 2018
      bootstrap/MvK_rules.mvc
  2. 22 28
      bootstrap/MvK_rules_MM.mvc
  3. 95 0
      bootstrap/current_MvK.mvc

文件差異過大導致無法顯示
+ 2012 - 2018
bootstrap/MvK_rules.mvc


+ 22 - 28
bootstrap/MvK_rules_MM.mvc

@@ -1,35 +1,29 @@
-import models/SimpleClassDiagrams as SimpleClassDiagrams
+SimpleAttribute String {}
+SimpleAttribute Boolean {}
 
-SimpleClassDiagrams MvKRules_MM {
-    SimpleAttribute String {}
-    SimpleAttribute Boolean {}
-
-    Class Rule {
-        name : String
-    }
-
-    Class Node {
-        value? : String
-    }
+Class Rule {
+    name : String
+}
 
-    Class Match {
-        match? : Boolean
-    }
-    Class Create : Node {}
-    Class Delete : Match {}
-    Class NAC : Node {}
-    Class Root : Node {}
+Class Node {
+    value? : String
+}
 
-    Association contains (Rule, Node) {}
+Class Match {
+    match? : Boolean
+}
+Class Create : Node {}
+Class Delete : Match {}
+Class NAC : Node {}
+Class Root : Node {}
 
-    Association Edge : Node (Node, Node) {
-        name : String
-    }
+Association contains (Rule, Node) {}
 
-    Association CreateEdge : Edge (Node, Node) {}
-    Association MatchEdge : Edge (Node, Node) {}
-    Association DeleteEdge : MatchEdge (Node, Node) {}
-    Association NACEdge : Edge (Node, Node) {}
+Association Edge : Node (Node, Node) {
+    name : String
 }
 
-export MvKRules_MM to models/MvKRules_MM
+Association CreateEdge : Edge (Node, Node) {}
+Association MatchEdge : Edge (Node, Node) {}
+Association DeleteEdge : MatchEdge (Node, Node) {}
+Association NACEdge : Edge (Node, Node) {}

+ 95 - 0
bootstrap/current_MvK.mvc

@@ -0,0 +1,95 @@
+Rule if_init {
+    Root if_init_1 {
+        type = "="
+    }
+
+    Node if_init_2 {
+        type = "="
+    }
+
+    Node if_init_3 {
+        type = "="
+    }
+
+    Node if_init_4 {
+        type = "="
+        value = "init"
+    }
+
+    Node if_init_5 {
+        type = "="
+        value = !If
+    }
+
+    Node if_init_6 {
+        type = "+"
+    }
+
+    Node if_init_7 {
+        type = "="
+    }
+
+    Node if_init_8 {
+        type = "+"
+        value = "cond"
+    }
+
+    Node if_init_9 {
+        type = "="
+    }
+
+    Edge (if_init_1, if_init_2) {
+        name = "username"
+        type = "="
+    }
+
+    Edge (if_init_2, if_init_3) {
+        name = "'frame'"
+        type = "="
+    }
+
+    Edge (if_init_3, if_init_4) {
+        name = "'phase'"
+        type = "="
+    }
+
+    Edge (if_init_3, if_init_5) {
+        name = "'IP'"
+        type = "-"
+    }
+
+    Edge (if_init_3, if_init_6) {
+        name = "'evalstack'"
+        type = "+"
+    }
+
+    Edge (if_init_3, if_init_7) {
+        name = "'prev'"
+        type = "+"
+    }
+
+    Edge (if_init_3, if_init_9) {
+        name = "'IP'"
+        type = "+"
+    }
+
+    Edge (if_init_6, if_init_7) {
+        name = "'evalstack'"
+        type = "-"
+    }
+
+    Edge (if_init_7, if_init_5) {
+        name = "'inst'"
+        type = "+"
+    }
+
+    Edge (if_init_7, if_init_8) {
+        name = "'phase'"
+        type = "+"
+    }
+
+    Edge (if_init_5, if_init_9) {
+        name = "'cond'"
+        type = "="
+    }
+}