|
@@ -1,48 +1,47 @@
|
|
|
Rule Access_Eval_N1 {
|
|
|
- Root N1_root {}
|
|
|
- Match N1_userroot {
|
|
|
+ Root N1_0 {}
|
|
|
+ Match N1_1 {
|
|
|
match = True
|
|
|
}
|
|
|
- Match N1_frame {
|
|
|
+ Match N1_2 {
|
|
|
match = True
|
|
|
}
|
|
|
- Delete N1_phase_D {
|
|
|
- value = "'eval'"
|
|
|
+ Match N1_3 {
|
|
|
+ value = "!access"
|
|
|
match = True
|
|
|
}
|
|
|
- Match N1_IP {
|
|
|
- value = "!access"
|
|
|
+ Delete N1_4 {
|
|
|
+ value = "'eval'"
|
|
|
match = True
|
|
|
}
|
|
|
- Create N1_phase_C {
|
|
|
+ Create N1_5 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
- Delete N1_RV_D {}
|
|
|
- Create N1_RV_C {}
|
|
|
- Match N1_val {}
|
|
|
+ Create N1_6 {}
|
|
|
+ Delete N1_7 {}
|
|
|
|
|
|
- MatchEdge (N1_root, N1_userroot) {
|
|
|
+ MatchEdge (N1_0, N1_1) {
|
|
|
value = "username"
|
|
|
}
|
|
|
- MatchEdge (N1_userroot, N1_frame) {
|
|
|
+ MatchEdge (N1_1, N1_2) {
|
|
|
value = "'frame'"
|
|
|
}
|
|
|
- MatchEdge (N1_frame, N1_IP) {
|
|
|
+ MatchEdge (N1_2, N1_3) {
|
|
|
value = "'IP'"
|
|
|
}
|
|
|
- DeleteEdge (N1_frame, N1_phase_D) {
|
|
|
+ DeleteEdge (N1_2, N1_4) {
|
|
|
value = "'phase'"
|
|
|
}
|
|
|
- CreateEdge (N1_frame, N1_phase_C) {
|
|
|
+ CreateEdge (N1_2, N1_5) {
|
|
|
value = "'phase'"
|
|
|
}
|
|
|
- CreateEdge (N1_frame, N1_RV_C) {
|
|
|
+ CreateEdge (N1_2, N1_6) {
|
|
|
value = "'returnvalue'"
|
|
|
}
|
|
|
- DeleteEdge (N1_frame, N1_RV_D) {
|
|
|
+ DeleteEdge (N1_2, N1_7) {
|
|
|
value = "'returnvalue'"
|
|
|
}
|
|
|
- MatchEdge (N1_RV_D, N1_RV_C) {
|
|
|
+ MatchEdge (N1_7, N1_6) {
|
|
|
value = "'value'"
|
|
|
}
|
|
|
}
|
|
@@ -1330,49 +1329,49 @@ Rule If_False_Else_N20 {
|
|
|
}
|
|
|
|
|
|
Rule If_False_None_N21 {
|
|
|
- Root N21_root {}
|
|
|
- Match N21_userroot {
|
|
|
+ Root N21_0 {}
|
|
|
+ Match N21_1 {
|
|
|
match = True
|
|
|
}
|
|
|
- Match N21_frame {
|
|
|
+ Match N21_2 {
|
|
|
match = True
|
|
|
}
|
|
|
- Delete N21_phase_D {
|
|
|
+ Delete N21_3 {
|
|
|
value = "'cond'"
|
|
|
match = True
|
|
|
}
|
|
|
- Create N21_phase_C {
|
|
|
+ Create N21_4 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
- Match N21_IP {
|
|
|
+ Match N21_5 {
|
|
|
value = "!if"
|
|
|
match = True
|
|
|
}
|
|
|
- Match N21_RV {
|
|
|
+ Match N21_6 {
|
|
|
value = "False"
|
|
|
match = True
|
|
|
}
|
|
|
- NAC N21_else {}
|
|
|
+ NAC N21_7 {}
|
|
|
|
|
|
- MatchEdge (N21_root, N21_userroot) {
|
|
|
+ MatchEdge (N21_0, N21_1) {
|
|
|
value = "username"
|
|
|
}
|
|
|
- MatchEdge (N21_userroot, N21_frame) {
|
|
|
+ MatchEdge (N21_1, N21_2) {
|
|
|
value = "'frame'"
|
|
|
}
|
|
|
- MatchEdge (N21_frame, N21_IP) {
|
|
|
+ MatchEdge (N21_2, N21_5) {
|
|
|
value = "'IP'"
|
|
|
}
|
|
|
- MatchEdge (N21_frame, N21_RV) {
|
|
|
+ MatchEdge (N21_2, N21_6) {
|
|
|
value = "'returnvalue'"
|
|
|
}
|
|
|
- DeleteEdge (N21_frame, N21_phase_D) {
|
|
|
+ DeleteEdge (N21_2, N21_3) {
|
|
|
value = "'phase'"
|
|
|
}
|
|
|
- CreateEdge (N21_frame, N21_phase_C) {
|
|
|
+ CreateEdge (N21_2, N21_4) {
|
|
|
value = "'phase'"
|
|
|
}
|
|
|
- NACEdge (N21_IP, N21_else) {
|
|
|
+ NACEdge (N21_5, N21_7) {
|
|
|
value = "'else'"
|
|
|
}
|
|
|
}
|