<map id="G" name="G"> <area shape="rect" id="node3" href="$antlr3rewritestreams_8c.html#a92c4d9fcaea24e9f6b4f658711bacc07" title="Return the next element in the stream." alt="" coords="268,5,329,32"/> </map>
<map id="G" name="G"> <area shape="rect" id="node3" href="$antlr3rewritestreams_8c.html#a92c4d9fcaea24e9f6b4f658711bacc07" title="Return the next element in the stream." alt="" coords="268,5,329,32"/> </map>