The Workbench debugger provides a tabbed dialog presenting various views for inspecting local variables, watchpoints, and registers. These tabs provide a variety of different tools for exploring information about the state of your halted application. Note that you must halt the execution before you can examine the values of objects using these views.

In this version of the Workbench debugger, the names of Ada objects declared within packages must be entered in a particular format for the debugger to recognize them and display their values. Specifically, any dots in the package name must be replaced by two consecutive underscores and all lowercase letters must be used. For example, a variable named Alpha declared in package Ownship would be referenced as "Ownship.Alpha" within Ada source code. Within the debugger data views, the variable must be referred to as "ownship__alpha" for the name to be recognized. Wind River is working to remove this restriction.
Note that Workbench provides additional optional views through the Window -> Show View menu item.