<map id="getLookaheadSize" name="getLookaheadSize"> <area shape="rect" id="node1" title=" " alt="" coords="273,13,407,39"/> <area shape="rect" id="node2" href="$antlr3defs_8h.html#ad8c49d0bf9bb605b1b8ae992afd70077" title=" " alt="" coords="5,5,225,47"/> </map>