This file is indexed.

/usr/share/mozart/doc/tools/node13.html is in mozart-doc 1.4.0-8ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>5 The Oz Profiler: ozd&nbsp;-p</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node12.html#chapter.debugger">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node14.html#chapter.oztool">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.profiler"><H1><A name="chapter.profiler">5 The Oz Profiler: <CODE>ozd&nbsp;-p</CODE></A></H1><P>The Oz profiler is extensively documented in <A href="../profiler/index.html">``The Mozart Profiler''</A>. We describe it here merely in its incarnation as a command line application. Furthermore, we only document its options.</P><P>If you have created an Oz application which you normally start from the shell as follows: </P><BLOCKQUOTE class="code"><CODE>Foo&nbsp;</CODE><I>Args</I><CODE>&nbsp;...&nbsp;</CODE></BLOCKQUOTE><P> Then you can run it under control of the Oz profiler by using the following command instead: </P><BLOCKQUOTE class="code"><CODE>ozd&nbsp;-p&nbsp;Foo&nbsp;--&nbsp;</CODE><I>Args</I><CODE>&nbsp;...</CODE></BLOCKQUOTE><P> Any Oz application can be run in the profiler, but you only get the full benefit of the profiling interface when the code being executed was compiled with the <CODE>-p</CODE> option to include profiling instrumentation code. The profiler and the debugger share the same interface.</P><P>The double dash <CODE>--</CODE> separates the arguments intended for <CODE>ozd</CODE> from those intended for the application being run under the profiler. </P><DL><DT><CODE>--help</CODE>, <CODE>-h</CODE>, <CODE>-?</CODE></DT><DD><P>Display information on legal options, then exit</P></DD><DT><CODE>-p</CODE>, <CODE>--profiler</CODE>, <CODE>--mode=profiler</CODE></DT><DD><P>You must supply this option in order to start the profiler; otherwise the debugger is started instead (see <A href="node12.html#chapter.debugger">Chapter&nbsp;4</A>).</P></DD><DT><CODE>-g</CODE>, <CODE>--debugger</CODE>, <CODE>--mode=debugger</CODE></DT><DD><P>This is the default option: it starts the debugger (see <A href="node12.html#chapter.debugger">Chapter&nbsp;4</A>). As mentioned above, in order to actually start the profiler, you must supply the <CODE>-p</CODE> option.</P></DD><DT><CODE>-E</CODE>, <CODE><SPAN class="functionname">--</SPAN>(no)useemacs</CODE></DT><DD><P>Starts a subordinate Emacs process. This will be used to display the source code corresponding to the profile data being examined.</P></DD><DT><CODE>--emacs=</CODE><I>FILE</I></DT><DD><P>Specifies the Emacs binary to run for option <CODE>-E</CODE>. The default is $<A name="label11"></A><A name="label12"></A><CODE>OZEMACS</CODE> if set, else <CODE>emacs</CODE>.</P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node12.html#chapter.debugger">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node14.html#chapter.oztool">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A> and&nbsp;<A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>