<map id="getTokens" name="getTokens">
<area shape="rect" id="node1" title=" " alt="" coords="880,13,967,39"/>
<area shape="rect" id="node2" href="$antlr3defs_8h.html#ab8426bed8df754240d19d2ee37edee70" title=" " alt="" coords="607,13,832,39"/>
<area shape="rect" id="node3" href="$antlr3defs_8h.html#ad4ef5baa73e1fdd0f0c2fc4cce4277cb" title=" " alt="" coords="292,13,559,39"/>
<area shape="rect" id="node4" href="$antlr3defs_8h.html#ada21cf0d75ef83806a60990556d86fe0" title=" " alt="" coords="5,5,244,47"/>
</map>