<map id="getTokens" name="getTokens"> <area shape="rect" id="node1" title=" " alt="" coords="5,5,92,32"/> <area shape="rect" id="node2" href="$antlr3tokenstream_8c.html#a6e9bf0e3483b4361c86ec64e495cc160" title=" " alt="" coords="140,5,215,32"/> <area shape="rect" id="node3" href="$antlr3tokenstream_8c.html#a1dd7cfaada47bc6206a16bacba7ca090" title="Given a starting index, return the index of the first on-channel token." alt="" coords="263,5,423,32"/> </map>