2013-09-28 05:30:57 +00:00
|
|
|
<div class="pd w0 h0"><div id="pf4" class="pf" data-page-no="4"><div class="pc pc4"><div class="t m0 x34 h5 y5b ff1 fs3 fc0 sc0 ls0 ws0">i=4.<span class="_ _5"> </span><span class="ff2">On<span class="_ _5"> </span>this<span class="_ _7"> </span>iteration,<span class="_ _5"> </span>T<span class="_ _2"></span>raceMonkey<span class="_ _7"> </span>calls<span class="_ _5"> </span><span class="fff">T</span></span></div><div class="t m0 x57 h8 y10b ff8 fs4 fc0 sc0 ls0 ws0">16</div><div class="t m0 x58 h5 y5b ff2 fs3 fc0 sc0 ls0 ws0">.<span class="_ _5"> </span>Because<span class="_ _5"> </span><span class="ff7">i=4<span class="_ _2"></span><span class="ff2">,<span class="_ _5"> </span>the</span></span></div><div class="t m0 x2f h5 y5c ff7 fs3 fc0 sc0 ls0 ws0">if<span class="_ _3"> </span><span class="ff2">statement<span class="_ _6"> </span>on<span class="_ _3"> </span>line<span class="_ _6"> </span>2<span class="_ _3"> </span>is<span class="_ _3"> </span>taken.<span class="_ _6"> </span>This<span class="_ _3"> </span>branch<span class="_ _3"> </span>was<span class="_ _6"> </span>not<span class="_ _3"> </span>taken<span class="_ _3"> </span>in<span class="_ _6"> </span>the</span></div><div class="t m0 x2f h5 y5d ff2 fs3 fc0 sc0 ls0 ws0">original<span class="_ _5"> </span>trace,<span class="_ _5"> </span>so<span class="_ _5"> </span>this<span class="_ _5"> </span>causes<span class="_ _5"> </span><span class="fff">T</span></div><div class="t m0 x59 h8 y10c ff8 fs4 fc0 sc0 ls0 ws0">16</div><div class="t m0 x5a h5 y5d ff2 fs3 fc0 sc0 ls0 ws0">to<span class="_ _5"> </span>fail<span class="_ _5"> </span>a<span class="_ _5"> </span>guard<span class="_ _7"> </span>and<span class="_ _5"> </span>take<span class="_ _5"> </span>a<span class="_ _5"> </span>side<span class="_ _5"> </span>e<span class="_ _2"></span>xit.</div><div class="t m0 x2f h5 y5e ff2 fs3 fc0 sc0 ls0 ws0">The<span class="_ _3"> </span>exit<span class="_ _3"> </span>is<span class="_ _3"> </span>not<span class="_ _3"> </span>yet<span class="_ _3"> </span>hot,<span class="_ _3"> </span>so<span class="_ _3"> </span>T<span class="_ _2"></span>raceMonk<span class="_ _2"></span>ey<span class="_ _3"> </span>returns<span class="_ _3"> </span>to<span class="_ _3"> </span>the<span class="_ _3"> </span>interpreter<span class="_ _b"></span>,</div><div class="t m0 x2f h5 y5f ff2 fs3 fc0 sc0 ls0 ws0">which<span class="_ _5"> </span>executes<span class="_ _5"> </span>the<span class="_ _5"> </span>continue<span class="_ _5"> </span>statement.</div><div class="t m0 x34 h5 y60 ff1 fs3 fc0 sc0 ls0 ws0">i=5.<span class="_ _5"> </span><span class="ff2">T<span class="_ _2"></span>raceMonk<span class="_ _2"></span>ey<span class="_ _5"> </span>calls<span class="_ _7"> </span><span class="fff">T</span></span></div><div class="t m0 x5b h8 y10d ff8 fs4 fc0 sc0 ls0 ws0">16</div><div class="t m0 x5c h5 y60 ff2 fs3 fc0 sc0 ls0 ws0">,<span class="_ _5"> </span>which<span class="_ _5"> </span>in<span class="_ _7"> </span>turn<span class="_ _5"> </span>calls<span class="_ _5"> </span>the<span class="_ _5"> </span>nested<span class="_ _5"> </span>trace</div><div class="t m0 x2f h5 y61 fff fs3 fc0 sc0 ls0 ws0">T</div><div class="t m0 x36 h8 y10e ff8 fs4 fc0 sc0 ls0 ws0">45</div><div class="t m0 x37 h5 y61 ff2 fs3 fc0 sc0 ls0 ws0">.<span class="_ _6"> </span><span class="fff">T</span></div><div class="t m0 x5d h8 y10e ff8 fs4 fc0 sc0 ls0 ws0">16</div><div class="t m0 x38 h5 y61 ff2 fs3 fc0 sc0 ls0 ws0">loops<span class="_ _6"> </span>back<span class="_ _6"> </span>to<span class="_ _6"> </span>its<span class="_ _6"> </span>o<span class="_ _2"></span>wn<span class="_ _6"> </span>header<span class="_ _2"></span>,<span class="_ _6"> </span>starting<span class="_ _3"> </span>the<span class="_ _6"> </span>next<span class="_ _6"> </span>iteration</div><div class="t m0 x2f h5 y62 ff2 fs3 fc0 sc0 ls0 ws0">without<span class="_ _5"> </span>ev<span class="_ _2"></span>er<span class="_ _5"> </span>returning<span class="_ _5"> </span>to<span class="_ _3"> </span>the<span class="_ _5"> </span>monitor<span class="_ _b">
|
