From 27538cb11d61e92801a1ed1e091d55302a7b29df Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Tue, 4 May 2021 12:43:43 +0200 Subject: [PATCH] Update expected test output --- .../controlflow/graph/Cfg.expected | 234 +++++++++--------- 1 file changed, 117 insertions(+), 117 deletions(-) diff --git a/ql/test/library-tests/controlflow/graph/Cfg.expected b/ql/test/library-tests/controlflow/graph/Cfg.expected index 0eef0e36873..3e39856c559 100644 --- a/ql/test/library-tests/controlflow/graph/Cfg.expected +++ b/ql/test/library-tests/controlflow/graph/Cfg.expected @@ -41,8 +41,8 @@ break_ensure.rb: #-----| -> In # 3| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 3| element #-----| -> 0 @@ -63,8 +63,8 @@ break_ensure.rb: #-----| -> exit m1 (normal) # 8| call to nil? -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 8| elements #-----| -> call to nil? @@ -115,8 +115,8 @@ break_ensure.rb: #-----| -> ensure ... # 16| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 16| element #-----| -> 0 @@ -143,12 +143,12 @@ break_ensure.rb: #-----| break -> for ... in ... # 20| call to nil? -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 20| [ensure: break] call to nil? -#-----| true -> [ensure: break] then ... #-----| false -> [ensure: break] if ... +#-----| true -> [ensure: break] then ... # 20| elements #-----| -> call to nil? @@ -198,8 +198,8 @@ break_ensure.rb: #-----| -> ensure ... # 29| call to nil? -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 29| elements #-----| -> call to nil? @@ -255,18 +255,12 @@ break_ensure.rb: #-----| -> [ensure: return] In # 35| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 35| [ensure: return] ... > ... -#-----| true -> [ensure: return] then ... #-----| false -> [ensure: return] if ... - -# 35| self -#-----| -> call to x - -# 35| [ensure: return] self -#-----| -> [ensure: return] call to x +#-----| true -> [ensure: return] then ... # 35| call to x #-----| -> 0 @@ -274,6 +268,12 @@ break_ensure.rb: # 35| [ensure: return] call to x #-----| -> [ensure: return] 0 +# 35| self +#-----| -> call to x + +# 35| [ensure: return] self +#-----| -> [ensure: return] call to x + # 35| 0 #-----| -> ... > ... @@ -335,8 +335,8 @@ break_ensure.rb: #-----| -> ensure ... # 47| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 47| element #-----| -> 1 @@ -369,12 +369,12 @@ break_ensure.rb: #-----| raise -> for ... in ... # 51| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 51| [ensure: raise] ... > ... -#-----| true -> [ensure: raise] then ... #-----| false -> [ensure: raise] if ... +#-----| true -> [ensure: raise] then ... # 51| element #-----| -> 0 @@ -429,12 +429,12 @@ case.rb: # 2| case ... #-----| -> self -# 2| self -#-----| -> call to x1 - # 2| call to x1 #-----| -> when ... +# 2| self +#-----| -> call to x1 + # 3| when ... #-----| -> 1 @@ -451,13 +451,13 @@ case.rb: # 3| if ... #-----| -> ( ... ) +# 3| call to x2 +#-----| false -> if ... +#-----| true -> then ... + # 3| self #-----| -> call to x2 -# 3| call to x2 -#-----| true -> then ... -#-----| false -> if ... - # 3| then ... #-----| -> self @@ -599,12 +599,12 @@ cfg.rb: # 23| 1 #-----| -> ... + ... -# 25| call to times -#-----| -> self - # 25| 2 #-----| -> { ... } +# 25| call to times +#-----| -> self + # 25| enter { ... } #-----| -> x @@ -687,12 +687,12 @@ cfg.rb: # 35| false #-----| false -> if ... -# 39| call to puts -#-----| -> case ... - # 39| self #-----| -> 42 +# 39| call to puts +#-----| -> case ... + # 39| 42 #-----| -> call to puts @@ -725,16 +725,16 @@ cfg.rb: #-----| -> 2 # 43| 2 -#-----| match -> then ... #-----| no-match -> 3 +#-----| match -> then ... # 43| 3 -#-----| match -> then ... #-----| no-match -> 4 +#-----| match -> then ... # 43| 4 -#-----| match -> then ... #-----| no-match -> else ... +#-----| match -> then ... # 43| then ... #-----| -> self @@ -874,19 +874,19 @@ cfg.rb: # 60| conditional #-----| -> self -# 60| ... ? ... : ... -#-----| -> ... = ... - # 60| ... < ... #-----| true -> "hello" #-----| false -> "bye" -# 60| self -#-----| -> call to b +# 60| ... ? ... : ... +#-----| -> ... = ... # 60| call to b #-----| -> 10 +# 60| self +#-----| -> call to b + # 60| 10 #-----| -> ... < ... @@ -1061,8 +1061,8 @@ cfg.rb: #-----| -> if ... # 75| ... > ... -#-----| true -> then ... #-----| false -> else ... +#-----| true -> then ... # 75| x #-----| -> 10 @@ -1153,8 +1153,8 @@ cfg.rb: #-----| -> self # 91| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 91| x #-----| -> 3 @@ -1195,30 +1195,30 @@ cfg.rb: # 97| {...} #-----| -> ... = ... -# 97| "a" -#-----| -> "b" - # 97| Pair #-----| -> "c" +# 97| "a" +#-----| -> "b" + # 97| "b" #-----| -> Pair -# 97| "c" -#-----| -> "d" - # 97| Pair #-----| -> :e +# 97| "c" +#-----| -> "d" + # 97| "d" #-----| -> Pair -# 97| Pair -#-----| -> {...} - # 97| :e #-----| -> "f" +# 97| Pair +#-----| -> {...} + # 97| "f" #-----| -> Pair @@ -1237,12 +1237,12 @@ cfg.rb: # 98| map1 #-----| -> **... -# 98| "x" -#-----| -> "y" - # 98| Pair #-----| -> map1 +# 98| "x" +#-----| -> "y" + # 98| "y" #-----| -> Pair @@ -1330,27 +1330,27 @@ cfg.rb: # 109| #{...} #-----| -> self -# 109| self -#-----| -> call to table - # 109| call to table #-----| -> #{...} +# 109| self +#-----| -> call to table + # 110| #{...} #-----| -> ( ... ) -# 110| self -#-----| -> call to type - # 110| call to type #-----| -> #{...} -# 113| call to puts -#-----| -> ... if ... +# 110| self +#-----| -> call to type # 113| ... if ... #-----| -> C +# 113| call to puts +#-----| -> ... if ... + # 113| self #-----| -> "hi" @@ -1477,12 +1477,12 @@ cfg.rb: # 127| range #-----| -> 0 -# 127| _ .. _ -#-----| -> ... = ... - # 127| 0 #-----| -> 9 +# 127| _ .. _ +#-----| -> ... = ... + # 127| 9 #-----| -> _ .. _ @@ -1543,9 +1543,6 @@ cfg.rb: # 134| EmptyModule #-----| -> ... rescue ... -# 136| ... rescue ... -#-----| -> 1 - # 136| ... / ... #-----| raise -> self #-----| -> init @@ -1553,6 +1550,9 @@ cfg.rb: # 136| 1 #-----| -> 0 +# 136| ... rescue ... +#-----| -> 1 + # 136| 0 #-----| -> ... / ... @@ -1730,12 +1730,12 @@ cfg.rb: # 160| #{...} #-----| -> `cat "#{...}"` -# 160| self -#-----| -> call to __FILE__ - # 160| call to __FILE__ #-----| -> #{...} +# 160| self +#-----| -> call to __FILE__ + # 162| ... = ... #-----| -> delimited_symbol @@ -1809,8 +1809,8 @@ cfg.rb: #-----| -> x # 172| ... == ... -#-----| false -> then ... #-----| true -> else ... +#-----| false -> then ... # 172| x #-----| -> 10 @@ -1845,18 +1845,18 @@ cfg.rb: # 174| call to puts #-----| -> ... unless ... -# 174| self -#-----| -> "hi" - # 174| ... unless ... #-----| -> x +# 174| self +#-----| -> "hi" + # 174| "hi" #-----| -> call to puts # 174| ... == ... -#-----| false -> self #-----| true -> ... unless ... +#-----| false -> self # 174| x #-----| -> 0 @@ -1932,8 +1932,8 @@ cfg.rb: #-----| -> ... += ... # 179| ... == ... -#-----| false -> self #-----| true -> ... until ... +#-----| false -> self # 179| i #-----| -> 10 @@ -1979,8 +1979,8 @@ cfg.rb: #-----| -> self # 184| ... == ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 184| x #-----| -> 5 @@ -2028,8 +2028,8 @@ cfg.rb: #-----| -> ... -= ... # 188| ... != ... -#-----| true -> self #-----| false -> ... while ... +#-----| true -> self # 188| i #-----| -> 0 @@ -2113,8 +2113,8 @@ exit.rb: #-----| -> self # 2| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 2| x #-----| -> 2 @@ -2164,8 +2164,8 @@ exit.rb: #-----| -> self # 9| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 9| x #-----| -> 2 @@ -2277,6 +2277,10 @@ ifs.rb: # 4| elsif ... #-----| -> if ... +# 4| ... <= ... +#-----| false -> [false] ... and ... +#-----| true -> x + # 4| [false] ... and ... #-----| false -> else ... @@ -2289,10 +2293,6 @@ ifs.rb: # 4| [true] ... and ... #-----| true -> x -# 4| ... <= ... -#-----| false -> [false] ... and ... -#-----| true -> x - # 4| x #-----| -> 2 @@ -2373,8 +2373,8 @@ ifs.rb: #-----| -> 1 # 12| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 12| then ... #-----| -> 0 @@ -2409,8 +2409,8 @@ ifs.rb: #-----| -> self # 19| ... < ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 19| x #-----| -> 0 @@ -2437,8 +2437,8 @@ ifs.rb: #-----| -> if ... # 21| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 21| x #-----| -> 10 @@ -2496,15 +2496,15 @@ ifs.rb: # 29| return #-----| return -> exit m4 (normal) -# 29| ... ? ... : ... -#-----| -> return - # 29| [false] ( ... ) #-----| false -> "!b2 || !b3" # 29| [true] ( ... ) #-----| true -> "b2 || b3" +# 29| ... ? ... : ... +#-----| -> return + # 29| [false] ... ? ... : ... #-----| false -> [false] ( ... ) @@ -2588,8 +2588,8 @@ ifs.rb: #-----| true -> [true] if ... # 33| b3 -#-----| true -> then ... #-----| false -> else ... +#-----| true -> then ... # 33| then ... #-----| -> b4 @@ -2688,8 +2688,8 @@ ifs.rb: #-----| -> self # 47| b -#-----| true -> then ... #-----| false -> else ... +#-----| true -> then ... # 47| then ... #-----| -> self @@ -2862,8 +2862,8 @@ loops.rb: #-----| -> elsif ... # 16| ... > ... -#-----| true -> then ... #-----| false -> elsif ... +#-----| true -> then ... # 16| x #-----| -> 10 @@ -2906,12 +2906,12 @@ loops.rb: # 24| exit m3 (normal) #-----| -> exit m3 -# 25| call to each -#-----| -> exit m3 (normal) - # 25| [...] #-----| -> do ... end +# 25| call to each +#-----| -> exit m3 (normal) + # 25| 1 #-----| -> 2 @@ -3019,8 +3019,8 @@ raise.rb: #-----| -> self # 8| ... > ... -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 8| x #-----| -> 2 @@ -3070,8 +3070,8 @@ raise.rb: #-----| -> self # 16| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 16| then ... #-----| -> self @@ -3131,8 +3131,8 @@ raise.rb: #-----| -> self # 27| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 27| then ... #-----| -> self @@ -3188,8 +3188,8 @@ raise.rb: #-----| -> self # 38| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 38| then ... #-----| -> self @@ -3248,8 +3248,8 @@ raise.rb: #-----| -> self # 49| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 49| then ... #-----| -> self @@ -3299,8 +3299,8 @@ raise.rb: #-----| -> self # 59| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 59| then ... #-----| -> self @@ -3395,8 +3395,8 @@ raise.rb: #-----| -> if ... # 71| ... < ... -#-----| true -> then ... #-----| false -> elsif ... +#-----| true -> then ... # 71| x #-----| -> 0 @@ -3513,8 +3513,8 @@ raise.rb: #-----| -> if ... # 84| ... < ... -#-----| true -> then ... #-----| false -> elsif ... +#-----| true -> then ... # 84| x #-----| -> 0 @@ -3646,8 +3646,8 @@ raise.rb: #-----| -> if ... # 99| ... < ... -#-----| true -> then ... #-----| false -> elsif ... +#-----| true -> then ... # 99| x #-----| -> 0 @@ -3719,16 +3719,16 @@ raise.rb: #-----| -> [ensure: raise] ensure ... # 106| b1 -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 106| [ensure: return] b1 -#-----| true -> [ensure: return] then ... #-----| false -> [ensure: return] if ... +#-----| true -> [ensure: return] then ... # 106| [ensure: raise] b1 -#-----| true -> [ensure: raise] then ... #-----| false -> [ensure: raise] if ... +#-----| true -> [ensure: raise] then ... # 106| then ... #-----| -> self @@ -3893,16 +3893,16 @@ raise.rb: #-----| raise -> exit m9 (abnormal) # 116| b2 -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 116| [ensure: return] b2 -#-----| true -> [ensure: return] then ... #-----| false -> [ensure: return] if ... +#-----| true -> [ensure: return] then ... # 116| [ensure: raise] b2 -#-----| true -> [ensure: raise] then ... #-----| false -> [ensure: raise] if ... +#-----| true -> [ensure: raise] then ... # 116| then ... #-----| -> self @@ -4000,8 +4000,8 @@ raise.rb: #-----| -> ensure ... # 130| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 130| then ... #-----| -> self @@ -4019,15 +4019,15 @@ raise.rb: #-----| -> ExceptionA # 133| ExceptionA -#-----| no-match -> rescue ... #-----| match -> ensure ... +#-----| no-match -> rescue ... # 134| rescue ... #-----| -> ExceptionB # 134| ExceptionB -#-----| match -> then ... #-----| raise -> [ensure: raise] ensure ... +#-----| match -> then ... # 134| then ... #-----| -> self @@ -4092,8 +4092,8 @@ raise.rb: #-----| -> ensure ... # 143| b -#-----| true -> then ... #-----| false -> if ... +#-----| true -> then ... # 143| then ... #-----| -> self @@ -4176,12 +4176,12 @@ raise.rb: # 155| elem #-----| -> element -# 155| call to raise -#-----| raise -> exit { ... } (abnormal) - # 155| ... if ... #-----| -> exit { ... } (normal) +# 155| call to raise +#-----| raise -> exit { ... } (abnormal) + # 155| self #-----| -> ""