Top

The Mozart Debugger

Benjamin Lorenz and Leif Kornstaedt

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.

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.

• 1 Introduction

• 2 Invoking the Debugger
  • 2.1 Debugging within the Oz Programming Interface
  • 2.2 Debugging Standalone Applications
  • 2.3 Invoking Ozcar through its API

• 3 Ozcar's User Interface
  • 3.1 Thread Forest View
  • 3.2 Stack View
  • 3.3 Environment Views
  • 3.4 Status Line
  • 3.5 Source View

• 4 Sample Debugging Session

• 5 Execution Control
  • 5.1 Step Points
  • 5.2 Actions
  • 5.3 Breakpoints
    • 5.3.1 Static Breakpoints
    • 5.3.2 Dynamic Breakpoints

• 6 Environments
  • 6.1 Inspecting the Environment
  • 6.2 Using Values
  • 6.3 Compiling against the Environment

• 7 Unhandled Exceptions

• 8 Remote Debugging
  • 8.1 Starting the Server
  • 8.2 Connecting a Client to the Server

• 9 Limitations

• A Menu Reference
  • A.1 The Main Menu
    • A.1.1 Ozcar
    • A.1.2 Action
      • Detach
      • Terminate
    • A.1.3 Thread
    • A.1.4 Stack
    • A.1.5 Options
      • Value Printing
  • A.2 SubThreads
  • A.3 Queries

• B Application Programming Interface
  • B.1 The Ozcar Module
  • B.2 Ozcar.object
  • B.3 Configuration Options
  • B.4 The OzcarClient Module

• Index