<?xml version="1.0" encoding="ascii"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> <title>support</title> <link rel="stylesheet" href="epydoc.css" type="text/css" /> <script type="text/javascript" src="epydoc.js"></script> </head> <body bgcolor="white" text="black" link="blue" vlink="#204080" alink="#204080"> <h1 class="toc">Module support</h1> <hr /> <h2 class="toc">Classes</h2> <a target="mainFrame" href="Martel.test.support.CheckGood-class.html" >CheckGood</a><br /> <a target="mainFrame" href="Martel.test.support.Dump-class.html" >Dump</a><br /> <a target="mainFrame" href="Martel.test.support.Storage-class.html" >Storage</a><br /> <h2 class="toc">Functions</h2> <a target="mainFrame" href="Martel.test.support-module.html#test_file" >test_file</a><br /> <a target="mainFrame" href="Martel.test.support-module.html#test_string" >test_string</a><br /> <a target="mainFrame" href="Martel.test.support-module.html#time_file" >time_file</a><br /><hr /> <span class="options">[<a href="javascript:void(0);" class="privatelink" onclick="toggle_private();">hide private</a>]</span> <script type="text/javascript"> <!-- // Private objects are initially displayed (because if // javascript is turned off then we want them to be // visible); but by default, we want to hide them. So hide // them unless we have a cookie that says to show them. checkCookie(); // --> </script> </body> </html>