<map id="getTokenStream" name="getTokenStream"> <area shape="rect" id="node1" title=" " alt="" coords="636,5,760,32"/> <area shape="rect" id="node2" href="$antlr3defs_8h.html#ae667dafdcef9adc2fceebc8420a7cded" title=" " alt="" coords="464,5,588,32"/> <area shape="rect" id="node3" href="$antlr3defs_8h.html#abede6d25edd8b3e67f8aa6a5094b6f9c" title=" " alt="" coords="248,5,416,32"/> <area shape="rect" id="node4" href="$antlr3defs_8h.html#aba8e0e27ff9976bb757191bf45b7d49f" title=" " alt="" coords="5,5,200,32"/> </map>