<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD><TITLE>The Mozart Debugger</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=tools&name=Ozcar">Print</A></P><H1 align="center" class="title">The Mozart Debugger</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~lorenz/">Benjamin Lorenz</A> and <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A></H2><BLOCKQUOTE><P>This manual describes Ozcar, a symbolic debugger which provides well-known debugging features such as breakpoints, single-stepping, and environment inspection. It supports debugging of multiple threads and debugging of distributed applications. Concurrent behaviour can be observed and manipulated. </P><P> Ozcar can be used from within the Oz Programming Interface or it can be used as a standalone program to debug Oz applications. It uses Emacs as a source viewer, highlighting the current position in a debugged program, and allowing to set breakpoints at arbitrary source lines. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="node1.html#chapter.intro">1 Introduction</A></LI></UL><UL class="toc"><LI><A href="node2.html#chapter.invoking">2 Invoking the Debugger</A><UL class="toc"><LI><A href="node2.html#label2">2.1 Debugging within the Oz Programming Interface</A></LI><LI><A href="node2.html#label3">2.2 Debugging Standalone Applications</A></LI><LI><A href="node2.html#label4">2.3 Invoking Ozcar through its API</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node3.html#chapter.gui">3 Ozcar's User Interface</A><UL class="toc"><LI><A href="node3.html#label5">3.1 Thread Forest View</A></LI><LI><A href="node3.html#label9">3.2 Stack View</A></LI><LI><A href="node3.html#label14">3.3 Environment Views</A></LI><LI><A href="node3.html#label15">3.4 Status Line</A></LI><LI><A href="node3.html#label16">3.5 Source View</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node4.html#chapter.sample">4 Sample Debugging Session</A></LI></UL><UL class="toc"><LI><A href="node5.html#chapter.control">5 Execution Control</A><UL class="toc"><LI><A href="node5.html#label18">5.1 Step Points</A></LI><LI><A href="node5.html#label19">5.2 Actions</A></LI><LI><A href="node5.html#label20">5.3 Breakpoints</A><UL class="toc"><LI><A href="node5.html#section.static-breakpoints">5.3.1 Static Breakpoints</A></LI><LI><A href="node5.html#section.dynamic-breakpoints">5.3.2 Dynamic Breakpoints</A></LI></UL></LI></UL></LI></UL><UL class="toc"><LI><A href="node6.html#chapter.data">6 Environments</A><UL class="toc"><LI><A href="node6.html#label23">6.1 Inspecting the Environment</A></LI><LI><A href="node6.html#label24">6.2 Using Values</A></LI><LI><A href="node6.html#label25">6.3 Compiling against the Environment</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node7.html#chapter.exceptions">7 Unhandled Exceptions</A></LI></UL><UL class="toc"><LI><A href="node8.html#chapter.remote">8 Remote Debugging</A><UL class="toc"><LI><A href="node8.html#label27">8.1 Starting the Server</A></LI><LI><A href="node8.html#label29">8.2 Connecting a Client to the Server</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node9.html#chapter.limitations">9 Limitations</A></LI></UL><UL class="toc"><LI><A href="node10.html#appendix.menus">A Menu Reference</A><UL class="toc"><LI><A href="node10.html#label31">A.1 The Main Menu</A><UL class="toc"><LI><A href="node10.html#section.menu-ozcar">A.1.1 Ozcar</A></LI><LI><A href="node10.html#label32">A.1.2 Action</A><UL class="toc"><LI><A href="node10.html#label33">Detach</A></LI><LI><A href="node10.html#label34">Terminate</A></LI></UL></LI><LI><A href="node10.html#label35">A.1.3 Thread</A></LI><LI><A href="node10.html#label36">A.1.4 Stack</A></LI><LI><A href="node10.html#label37">A.1.5 Options</A><UL class="toc"><LI><A href="node10.html#label39">Value Printing</A></LI></UL></LI></UL></LI><LI><A href="node10.html#label40">A.2 SubThreads</A></LI><LI><A href="node10.html#label41">A.3 Queries</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node11.html#appendix.api">B Application Programming Interface</A><UL class="toc"><LI><A href="node11.html#label42">B.1 The <CODE>Ozcar</CODE> Module</A></LI><LI><A href="node11.html#label53">B.2 <CODE>Ozcar<SPAN class="keyword">.</SPAN>object</CODE></A></LI><LI><A href="node11.html#section.configuration">B.3 Configuration Options</A></LI><LI><A href="node11.html#label70">B.4 The <CODE>OzcarClient</CODE> Module</A></LI></UL></LI></UL><UL class="toc"><LI><A href="idx.html#label73">Index</A></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~lorenz/">Benjamin Lorenz</A> and <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A><BR><SPAN class="version">Version 1.4.0 (20090610)</SPAN></ADDRESS></BODY></HTML>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
bd5c3d824c3db63ffd9226c15941e6ad
>
files
>
1564
