<map id="endResync" name="endResync"> <area shape="rect" id="node1" title=" " alt="" coords="5,31,92,57"/> <area shape="rect" id="node2" href="$antlr3debughandlers_8c.html#a2dbcad7f611c518cd3359dd294ef263a" title=" " alt="" coords="140,31,213,57"/> <area shape="rect" id="node3" href="$antlr3debughandlers_8c.html#acb222bcf138494b18754041f5a7abb5b" title=" " alt="" coords="261,5,341,32"/> <area shape="rect" id="node4" href="$antlr3debughandlers_8c.html#a4126f5b39dad904614e6a2f126e90c52" title=" " alt="" coords="280,56,323,83"/> </map>