<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Common" rel="Chapter" href="Common.html">
<link title="ReportGeneric" rel="Chapter" href="ReportGeneric.html">
<link title="ReportHTML" rel="Chapter" href="ReportHTML.html">
<link title="ReportStat" rel="Chapter" href="ReportStat.html">
<link title="ReportUtils" rel="Chapter" href="ReportUtils.html">
<link title="Runtime" rel="Chapter" href="Runtime.html"><title>Bisect : Index of values</title>
</head>
<body>
<center><h1>Index of values</h1></center>
<table>
<tr><td align="left"><br></td></tr>
<tr><td><a href="ReportUtils.html#VAL(++)">(++)</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
Similar to <code class="code">(+)</code> except that overflow is handled by returning: <code class="code">max_int</code> if the result should be above <code class="code">max_int</code>;, <code class="code">min_int</code> if the result should be below <code class="code">min_int</code>.
</div>
</td></tr>
<tr><td><a href="ReportUtils.html#VAL(+|)">(+|)</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
Returns the sum of the passed arrays, using <code class="code">(++)</code> to sum elements.
</div>
</td></tr>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="ReportStat.html#VALadd">add</a> [<a href="ReportStat.html">ReportStat</a>]</td>
<td><div class="info">
<code class="code">add x y</code> returns the sum of statistics <code class="code">x</code> and <code class="code">y</code>.
</div>
</td></tr>
<tr><td><a href="Common.html#VALall_point_kinds">all_point_kinds</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
The list of all point kinds, in ascending order.
</div>
</td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Common.html#VALcmp_file_of_ml_file">cmp_file_of_ml_file</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">cmp_file_of_ml_file f</code> returns the name of the <i>cmp</i> file associated with
the <i>ml</i> file named <code class="code">f</code>.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Runtime.html#VALinit">init</a> [<a href="Runtime.html">Runtime</a>]</td>
<td><div class="info">
<code class="code">init file</code> indicates that the file <code class="code">file</code> is part of the application that
has been instrumented.
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="ReportStat.html#VALmake">make</a> [<a href="ReportStat.html">ReportStat</a>]</td>
<td><div class="info">
Returns <i>empty</i> statistics for all point kinds.
</div>
</td></tr>
<tr><td><a href="Runtime.html#VALmark">mark</a> [<a href="Runtime.html">Runtime</a>]</td>
<td><div class="info">
<code class="code">mark file point</code> indicates that the point identified by the integer
<code class="code">point</code> in the file <code class="code">file</code> has been <i>visited</i>.
</div>
</td></tr>
<tr><td><a href="ReportUtils.html#VALmkdirs">mkdirs</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
Creates the directory whose path is passed, and all necessary parent
directories.
</div>
</td></tr>
<tr><td align="left"><br>O</td></tr>
<tr><td><a href="ReportUtils.html#VALopen_both">open_both</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
<code class="code">open_both in_file out_file</code> return a <code class="code">(i, o)</code> couple where: <code class="code">i</code> is an input channel for <code class="code">in_file</code>;, <code class="code">o</code> is an output channel for <code class="code">out_file</code>.
Raises an exception if an error occurs; ensures that either both files
are either opened or closed.
</div>
</td></tr>
<tr><td><a href="ReportHTML.html#VALoutput">output</a> [<a href="ReportHTML.html">ReportHTML</a>]</td>
<td><div class="info">
<code class="code">output verbose dir tab_size title no_navbar no_folding data</code> writes all the
HTML files for <code class="code">data</code> in the directory <code class="code">dir</code>.
</div>
</td></tr>
<tr><td><a href="ReportGeneric.html#VALoutput">output</a> [<a href="ReportGeneric.html">ReportGeneric</a>]</td>
<td><div class="info">
<code class="code">output verbose file conv data</code> writes the element for <code class="code">data</code> to file
<code class="code">file</code> using <code class="code">conv</code> for data conversion and <code class="code">verbose</code> for verbose output.
</div>
</td></tr>
<tr><td><a href="ReportUtils.html#VALoutput_bytes">output_bytes</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
<code class="code">output_bytes data filename</code> creates the file <code class="code">filename</code> and writes
the bytes from <code class="code">data</code> to it.
</div>
</td></tr>
<tr><td><a href="ReportUtils.html#VALoutput_strings">output_strings</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
<code class="code">output_strings lines mapping ch</code> writes the elements of <code class="code">lines</code>
to the channel <code class="code">ch</code>.
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Common.html#VALread_points">read_points</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">read_points f</code> reads the point definitions associated with the source file
named <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Common.html#VALread_runtime_data">read_runtime_data</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">read_runtime_data f</code> reads the runtime data from file <code class="code">f</code>.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="ReportUtils.html#VALsplit">split</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
<code class="code">split p [e1; ...; en]</code> returns <code class="code">([e1; ...; e(i-1)], [ei; ...; en])</code>
where is is the lowest index such that <code class="code">(p ei)</code> evaluates to false.
</div>
</td></tr>
<tr><td><a href="ReportUtils.html#VALsplit_after">split_after</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
<code class="code">split_after k [e1; ...; en]</code> returns <code class="code">([e1; ...; ek], [e(k+1); ...; en])</code>.
</div>
</td></tr>
<tr><td><a href="Common.html#VALstring_of_point_kind">string_of_point_kind</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
Conversion from point kind into string.
</div>
</td></tr>
<tr><td><a href="ReportStat.html#VALsum">sum</a> [<a href="ReportStat.html">ReportStat</a>]</td>
<td><div class="info">
<code class="code">sum l</code> is a fold over <code class="code">l</code> elements with function <code class="code">add</code>.
</div>
</td></tr>
<tr><td><a href="ReportStat.html#VALsummarize">summarize</a> [<a href="ReportStat.html">ReportStat</a>]</td>
<td><div class="info">
Returns a <code class="code">(count, total)</code> couple where <code class="code">count</code> and <code class="code">total</code> are
the sums of respectively all <code class="code">count</code> and all <code class="code">total</code> fields from
the passed statistics.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Common.html#VALtry_finally">try_finally</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">try_finally x f h</code> implements the try/finally logic.
</div>
</td></tr>
<tr><td><a href="Common.html#VALtry_in_channel">try_in_channel</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">try_in_channel bin filename f</code> is equivalent to <code class="code">try_finally x f h</code> where: <code class="code">x</code> is an input channel for file <code class="code">filename</code>,
(opened in binary mode iff <code class="code">bin</code> is <code class="code">true</code>);, <code class="code">h</code> just closes the input channel.
Raises an exception if any error occurs.
</div>
</td></tr>
<tr><td><a href="Common.html#VALtry_out_channel">try_out_channel</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">try_out_channel bin filename f</code> is equivalent to <code class="code">try_finally x f h</code> where: <code class="code">x</code> is an output channel for file <code class="code">filename</code>,
(opened in binary mode iff <code class="code">bin</code> is <code class="code">true</code>);, <code class="code">h</code> just closes the output channel.
Raises an exception if any error occurs.
</div>
</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="ReportStat.html#VALupdate">update</a> [<a href="ReportStat.html">ReportStat</a>]</td>
<td><div class="info">
<code class="code">update stats k b</code> updates <code class="code">stats</code> for point kind <code class="code">k</code>.
</div>
</td></tr>
<tr><td><a href="ReportUtils.html#VALurl">url</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
The Bisect URL, as a string.
</div>
</td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="ReportUtils.html#VALversion">version</a> [<a href="ReportUtils.html">ReportUtils</a>]</td>
<td><div class="info">
The Bisect version, as a string.
</div>
</td></tr>
<tr><td align="left"><br>W</td></tr>
<tr><td><a href="Common.html#VALwrite_points">write_points</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">write_points oc pts f</code> writes the point definitions <code class="code">pts</code> to the output
channel <code class="code">oc</code> using the Bisect file format.
</div>
</td></tr>
<tr><td><a href="Common.html#VALwrite_runtime_data">write_runtime_data</a> [<a href="Common.html">Common</a>]</td>
<td><div class="info">
<code class="code">write_runtime_data oc d</code> writes the runtime data <code class="code">d</code> to the output channel
<code class="code">oc</code> using the Bisect file format.
</div>
</td></tr>
</table><br>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
7fd1c43f42958fba85e306866166f488
>
files
>
26
