<map id="emitNew" name="emitNew"> <area shape="rect" id="node1" title=" " alt="" coords="383,5,459,32"/> <area shape="rect" id="node2" href="$antlr3defs_8h.html#aad5d94a0ad6c1d4788f95debb67cf642" title=" " alt="" coords="216,5,335,32"/> <area shape="rect" id="node3" href="$antlr3defs_8h.html#acea4b4491be51f1d3f57d4d2836d9d0d" title=" " alt="" coords="5,5,168,32"/> </map>