<map id="Private Properties" name="Private Properties">
<area shape="rect" id="node1" href="$a00558.html" title=" " alt="" coords="581,5,693,31"/>
<area shape="rect" id="node2" href="$a00550.html" title=" " alt="" coords="5,55,237,80"/>
<area shape="rect" id="node5" title="Public properties of the fault handler library layer." alt="" coords="285,55,488,80"/>
<area shape="rect" id="node3" href="$a00559.html" title=" " alt="" coords="576,55,699,80"/>
<area shape="rect" id="node4" href="$a00560.html" title=" " alt="" coords="536,104,739,129"/>
</map>
