Debugger

Debugger

 

The Code Generator Debugger helps you find errors in the specification in a manner similar to symbolic debuggers used for conventional high-level programming languages.

The Debugger can locate specification errors in terms of the Rational Statemate specification objects (states, activities, events, conditions, and data-items), rather than in terms of the generated code. In fact, most users of the prototype code do not know the structure and content of the code.

This section explains how to:

Monitor the execution by examining the current status of states and activities, values of events, conditions, and data-items and by inspecting scheduled timeouts

The Debugger has an interactive command language through which you control the debugging session. Predefined command sequences can be stored in files and started during the session.

The Debugger also has an online help facility. It provides information on command syntax and usage.