|
@@ -230,9 +230,7 @@ Rule Assign_Value_N5 {
|
|
|
match = True
|
|
|
value = "!assign"
|
|
|
}
|
|
|
- Create N5_5 {
|
|
|
- match = True
|
|
|
- }
|
|
|
+ Create N5_5 {}
|
|
|
Create N5_6 {
|
|
|
value = "'init'"
|
|
|
}
|
|
@@ -365,6 +363,7 @@ Rule Call_Call_None_N7 {
|
|
|
Create N7_5 {}
|
|
|
Match N7_6 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N7_7 {}
|
|
|
Match N7_8 {}
|
|
@@ -375,7 +374,9 @@ Rule Call_Call_None_N7 {
|
|
|
value = "'call'"
|
|
|
match = True
|
|
|
}
|
|
|
- NAC N7_11 {}
|
|
|
+ NAC N7_11 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N7_12 {}
|
|
|
Create N7_13 {
|
|
|
value = "'init'"
|
|
@@ -437,11 +438,16 @@ Rule Call_Call_Params_N8 {
|
|
|
match = True
|
|
|
}
|
|
|
Match N8_2 {}
|
|
|
- Match N8_3 {}
|
|
|
+ Match N8_3 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N8_4 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N8_5 {
|
|
|
+ match = True
|
|
|
}
|
|
|
- Match N8_5 {}
|
|
|
Match N8_6 {
|
|
|
value = "a"
|
|
|
match = True
|
|
@@ -542,8 +548,12 @@ Rule Call_Params_First_Multi_N9 {
|
|
|
value = "!call"
|
|
|
match = True
|
|
|
}
|
|
|
- Match N9_15 {}
|
|
|
- Match N9_16 {}
|
|
|
+ Match N9_15 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N9_16 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N9_17 {}
|
|
|
|
|
|
MatchEdge (N9_0, N9_1) {
|
|
@@ -647,8 +657,11 @@ Rule Call_Params_First_Single_N10 {
|
|
|
}
|
|
|
Match N10_14 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N10_15 {
|
|
|
+ match = True
|
|
|
}
|
|
|
- Match N10_15 {}
|
|
|
Match N10_16 {}
|
|
|
Create N10_17 {}
|
|
|
|
|
@@ -746,12 +759,15 @@ Rule Call_Params_Last_N11 {
|
|
|
value = "a"
|
|
|
}
|
|
|
Match N11_13 {}
|
|
|
- Match N11_14 {}
|
|
|
+ Match N11_14 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Create N11_15 {
|
|
|
value = "'call'"
|
|
|
}
|
|
|
Match N11_16 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N11_17 {}
|
|
|
Create N11_18 {}
|
|
@@ -838,8 +854,12 @@ Rule Call_Params_Last_N11 {
|
|
|
|
|
|
Rule Call_Params_Next_N12 {
|
|
|
Root N12_0 {}
|
|
|
- Match N12_1 {}
|
|
|
- Match N12_2 {}
|
|
|
+ Match N12_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N12_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N12_3 {}
|
|
|
Match N12_4 {}
|
|
|
Match N12_5 {}
|
|
@@ -847,7 +867,9 @@ Rule Call_Params_Next_N12 {
|
|
|
Match N12_7 {}
|
|
|
Create N12_9 {}
|
|
|
Match N12_10 {}
|
|
|
- Match N12_11 {}
|
|
|
+ Match N12_11 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N12_12 {}
|
|
|
Match N12_13 {}
|
|
|
Match N12_14 {
|
|
@@ -856,9 +878,12 @@ Rule Call_Params_Next_N12 {
|
|
|
Create N12_15 {}
|
|
|
Match N12_16 {}
|
|
|
Match N12_17 {}
|
|
|
- Match N12_18 {}
|
|
|
+ Match N12_18 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N12_19 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N12_20 {
|
|
|
value = "'init'"
|
|
@@ -942,21 +967,27 @@ Rule Call_Params_Next_N12 {
|
|
|
|
|
|
Rule Call_Resolve_No_Params_N13 {
|
|
|
Root N13_0 {}
|
|
|
- Match N13_1 {}
|
|
|
+ Match N13_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N13_2 {}
|
|
|
Match N13_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N13_4 {}
|
|
|
Match N13_5 {}
|
|
|
Match N13_6 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N13_7 {
|
|
|
value = "'call'"
|
|
|
}
|
|
|
Match N13_8 {}
|
|
|
- NAC N13_9 {}
|
|
|
+ NAC N13_9 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N13_0, N13_1) {
|
|
|
value = "username"
|
|
@@ -998,18 +1029,25 @@ Rule Call_Resolve_No_Params_N13 {
|
|
|
|
|
|
Rule Call_Resolve_Params_N14 {
|
|
|
Root N14_0 {}
|
|
|
- Match N14_1 {}
|
|
|
- Match N14_2 {}
|
|
|
+ Match N14_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N14_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N14_3 {}
|
|
|
Create N14_4 {}
|
|
|
Match N14_5 {
|
|
|
value = "!call"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N14_6 {}
|
|
|
Match N14_7 {
|
|
|
value = "'init'"
|
|
|
}
|
|
|
- Match N14_8 {}
|
|
|
+ Match N14_8 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N14_0, N14_1) {
|
|
|
value = "username"
|
|
@@ -1051,17 +1089,23 @@ Rule Call_Resolve_Params_N14 {
|
|
|
|
|
|
Rule Const_N15 {
|
|
|
Root N15_0 {}
|
|
|
- Match N15_1 {}
|
|
|
- Match N15_2 {}
|
|
|
+ Match N15_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N15_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N15_3 {}
|
|
|
Delete N15_4 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N15_5 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
Match N15_6 {
|
|
|
value = "!const"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N15_7 {}
|
|
|
|
|
@@ -1093,13 +1137,19 @@ Rule Const_N15 {
|
|
|
|
|
|
Rule Continue_N16 {
|
|
|
Root N16_0 {}
|
|
|
- Match N16_1 {}
|
|
|
- Match N16_2 {}
|
|
|
+ Match N16_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N16_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N16_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N16_4 {
|
|
|
value = "!continue"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N16_5 {
|
|
|
value = "!while"
|
|
@@ -1146,16 +1196,22 @@ Rule Continue_N16 {
|
|
|
|
|
|
Rule Declare_Init_N17 {
|
|
|
Root N17_0 {}
|
|
|
- Match N17_1 {}
|
|
|
- Match N17_2 {}
|
|
|
+ Match N17_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N17_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Delete N17_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N17_4 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
Match N17_5 {
|
|
|
value = "!declare"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N17_6 {}
|
|
|
Match N17_7 {}
|
|
@@ -1188,17 +1244,23 @@ Rule Declare_Init_N17 {
|
|
|
|
|
|
Rule Global_Init_N18 {
|
|
|
Root N18_0 {}
|
|
|
- Match N18_1 {}
|
|
|
- Match N18_2 {}
|
|
|
+ Match N18_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N18_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N18_3 {}
|
|
|
Delete N18_4 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N18_5 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
Match N18_6 {
|
|
|
value = "!global"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N18_7 {}
|
|
|
Create N18_8 {}
|
|
@@ -1230,15 +1292,21 @@ Rule Global_Init_N18 {
|
|
|
|
|
|
Rule If_Cond_N19 {
|
|
|
Root N19_0 {}
|
|
|
- Match N19_1 {}
|
|
|
- Match N19_2 {}
|
|
|
+ Match N19_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N19_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N19_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N19_4 {}
|
|
|
Match N19_5 {}
|
|
|
Match N19_6 {
|
|
|
value = "!if"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N19_7 {
|
|
|
value = "'cond'"
|
|
@@ -1282,13 +1350,19 @@ Rule If_Cond_N19 {
|
|
|
|
|
|
Rule If_False_Else_N20 {
|
|
|
Root N20_0 {}
|
|
|
- Match N20_1 {}
|
|
|
- Match N20_2 {}
|
|
|
+ Match N20_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N20_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N20_3 {
|
|
|
value = "'cond'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N20_4 {
|
|
|
value = "!if"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N20_5 {}
|
|
|
Match N20_6 {
|
|
@@ -1298,7 +1372,9 @@ Rule If_False_Else_N20 {
|
|
|
Create N20_7 {
|
|
|
value = "'init'"
|
|
|
}
|
|
|
- Match N20_8 {}
|
|
|
+ Match N20_8 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N20_9 {}
|
|
|
Create N20_10 {
|
|
|
value = "'finish'"
|
|
@@ -1368,7 +1444,9 @@ Rule If_False_None_N21 {
|
|
|
value = "False"
|
|
|
match = True
|
|
|
}
|
|
|
- NAC N21_7 {}
|
|
|
+ NAC N21_7 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N21_0, N21_1) {
|
|
|
value = "username"
|
|
@@ -1395,10 +1473,15 @@ Rule If_False_None_N21 {
|
|
|
|
|
|
Rule If_True_N22 {
|
|
|
Root N22_0 {}
|
|
|
- Match N22_1 {}
|
|
|
- Match N22_2 {}
|
|
|
+ Match N22_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N22_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Delete N22_3 {
|
|
|
value = "'cond'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N22_4 {}
|
|
|
Create N22_5 {
|
|
@@ -1406,11 +1489,13 @@ Rule If_True_N22 {
|
|
|
}
|
|
|
Match N22_6 {
|
|
|
value = "True"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N22_7 {}
|
|
|
Match N22_8 {}
|
|
|
Match N22_9 {
|
|
|
value = "!if"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N22_10 {
|
|
|
value = "'finish'"
|
|
@@ -1459,16 +1544,25 @@ Rule If_True_N22 {
|
|
|
|
|
|
Rule Next_Next_N24 {
|
|
|
Root N24_0 {}
|
|
|
- Match N24_1 {}
|
|
|
- Match N24_2 {}
|
|
|
+ Match N24_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N24_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Delete N24_3 {
|
|
|
value = "'finish'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N24_4 {
|
|
|
value = "'init'"
|
|
|
}
|
|
|
- Match N24_5 {}
|
|
|
- Match N24_6 {}
|
|
|
+ Match N24_5 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N24_6 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N24_0, N24_1) {
|
|
|
value = "username"
|
|
@@ -1495,17 +1589,26 @@ Rule Next_Next_N24 {
|
|
|
|
|
|
Rule Next_NoNext_N25 {
|
|
|
Root N25_0 {}
|
|
|
- Match N25_1 {}
|
|
|
- Match N25_2 {}
|
|
|
+ Match N25_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N25_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Delete N25_3 {
|
|
|
value = "'finish'"
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N25_4 {
|
|
|
+ match = True
|
|
|
}
|
|
|
- Match N25_4 {}
|
|
|
Match N25_5 {}
|
|
|
Delete N25_6 {}
|
|
|
Match N25_7 {}
|
|
|
Match N25_8 {}
|
|
|
- NAC N25_9 {}
|
|
|
+ NAC N25_9 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N25_0, N25_1) {
|
|
|
value = "username"
|
|
@@ -1547,13 +1650,19 @@ Rule Next_NoNext_N25 {
|
|
|
|
|
|
Rule Output_Init_N26 {
|
|
|
Root N26_0 {}
|
|
|
- Match N26_1 {}
|
|
|
- Match N26_2 {}
|
|
|
+ Match N26_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N26_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N26_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N26_4 {
|
|
|
value = "!output"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N26_5 {}
|
|
|
Match N26_6 {}
|
|
@@ -1599,14 +1708,20 @@ Rule Output_Init_N26 {
|
|
|
|
|
|
Rule Output_Output_N27 {
|
|
|
Root N27_0 {}
|
|
|
- Match N27_1 {}
|
|
|
- Match N27_2 {}
|
|
|
+ Match N27_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N27_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N27_3 {}
|
|
|
Match N27_4 {
|
|
|
value = "!output"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N27_5 {
|
|
|
value = "'output'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N27_6 {
|
|
|
value = "'finish'"
|
|
@@ -1648,23 +1763,35 @@ Rule Output_Output_N27 {
|
|
|
|
|
|
Rule Resolve_NoAttrGlobal_N28 {
|
|
|
Root N28_0 {}
|
|
|
- Match N28_1 {}
|
|
|
+ Match N28_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N28_2 {}
|
|
|
- Match N28_3 {}
|
|
|
+ Match N28_3 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Create N28_4 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
- Match N28_5 {}
|
|
|
+ Match N28_5 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N28_6 {}
|
|
|
Match N28_7 {
|
|
|
value = "!resolve"
|
|
|
+ match = True
|
|
|
}
|
|
|
Delete N28_8 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N28_9 {}
|
|
|
- Match N28_10 {}
|
|
|
- NAC N28_11 {}
|
|
|
+ Match N28_10 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ NAC N28_11 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N28_0, N28_1) {
|
|
|
value = "username"
|
|
@@ -1704,21 +1831,33 @@ Rule Resolve_NoAttrGlobal_N28 {
|
|
|
|
|
|
Rule Resolve_NoAttr_N29 {
|
|
|
Root N29_0 {}
|
|
|
- Match N29_1 {}
|
|
|
- Match N29_2 {}
|
|
|
+ Match N29_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N29_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N29_3 {
|
|
|
value = "!resolve"
|
|
|
+ match = True
|
|
|
}
|
|
|
Delete N29_4 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N29_5 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
- Match N29_6 {}
|
|
|
- Match N29_7 {}
|
|
|
+ Match N29_6 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N29_7 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N29_8 {}
|
|
|
- Match N29_9 {}
|
|
|
+ Match N29_9 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
|
|
|
MatchEdge (N29_0, N29_1) {
|
|
|
value = "username"
|
|
@@ -1753,14 +1892,20 @@ Rule Resolve_NoAttr_N29 {
|
|
|
|
|
|
Rule Return_Eval_N30 {
|
|
|
Root N30_0 {}
|
|
|
- Match N30_1 {}
|
|
|
- Match N30_2 {}
|
|
|
+ Match N30_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N30_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N30_3 {}
|
|
|
Match N30_4 {
|
|
|
value = "'eval'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N30_5 {
|
|
|
value = "!return"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N30_6 {}
|
|
|
Match N30_7 {}
|
|
@@ -1796,16 +1941,24 @@ Rule Return_Eval_N30 {
|
|
|
|
|
|
Rule Return_NoValue_N31 {
|
|
|
Root N31_0 {}
|
|
|
- Match N31_1 {}
|
|
|
- Match N31_2 {}
|
|
|
+ Match N31_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N31_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N31_3 {}
|
|
|
Match N31_4 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N31_5 {
|
|
|
value = "!return"
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ NAC N31_6 {
|
|
|
+ match = True
|
|
|
}
|
|
|
- NAC N31_6 {}
|
|
|
|
|
|
MatchEdge (N31_0, N31_1) {
|
|
|
value = "username"
|
|
@@ -1832,17 +1985,25 @@ Rule Return_NoValue_N31 {
|
|
|
|
|
|
Rule Return_Value_N32 {
|
|
|
Root N32_0 {}
|
|
|
- Match N32_1 {}
|
|
|
- Match N32_2 {}
|
|
|
+ Match N32_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N32_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N32_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N32_4 {}
|
|
|
Match N32_5 {
|
|
|
value = "!return"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N32_6 {}
|
|
|
- Match N32_7 {}
|
|
|
+ Match N32_7 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Create N32_8 {
|
|
|
value = "'eval'"
|
|
|
}
|
|
@@ -1884,14 +2045,20 @@ Rule Return_Value_N32 {
|
|
|
|
|
|
Rule While_Cond_N33 {
|
|
|
Root N33_0 {}
|
|
|
- Match N33_1 {}
|
|
|
- Match N33_2 {}
|
|
|
+ Match N33_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N33_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Match N33_3 {
|
|
|
value = "'init'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N33_4 {}
|
|
|
Match N33_5 {
|
|
|
value = "!while"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N33_6 {}
|
|
|
Match N33_7 {}
|
|
@@ -1936,19 +2103,26 @@ Rule While_Cond_N33 {
|
|
|
|
|
|
Rule While_False_N34 {
|
|
|
Root N34_0 {}
|
|
|
- Match N34_1 {}
|
|
|
- Match N34_2 {}
|
|
|
+ Match N34_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N34_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Delete N34_3 {
|
|
|
value = "'cond'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N34_4 {
|
|
|
value = "'finish'"
|
|
|
}
|
|
|
Match N34_5 {
|
|
|
value = "!while"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N34_6 {
|
|
|
value = "False"
|
|
|
+ match = True
|
|
|
}
|
|
|
|
|
|
MatchEdge (N34_0, N34_1) {
|
|
@@ -1973,20 +2147,27 @@ Rule While_False_N34 {
|
|
|
|
|
|
Rule While_True_N35 {
|
|
|
Root N35_0 {}
|
|
|
- Match N35_1 {}
|
|
|
- Match N35_2 {}
|
|
|
+ Match N35_1 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
+ Match N35_2 {
|
|
|
+ match = True
|
|
|
+ }
|
|
|
Delete N35_3 {
|
|
|
value = "'cond'"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N35_4 {
|
|
|
value = "'init'"
|
|
|
}
|
|
|
Match N35_5 {
|
|
|
value = "!while"
|
|
|
+ match = True
|
|
|
}
|
|
|
Create N35_6 {}
|
|
|
Match N35_7 {
|
|
|
value = "True"
|
|
|
+ match = True
|
|
|
}
|
|
|
Match N35_8 {}
|
|
|
Match N35_9 {}
|