<map id="spot/parsetl/parsetl.hh" name="spot/parsetl/parsetl.hh">
<area shape="rect" id="node2" href="$parsetl_2parsedecl_8hh_source.html" title="spot/parsetl/parsedecl.hh" alt="" coords="5,80,173,107"/>
</map>
