This manual is a user's guide for the ProDev WorkShop Static Analyzer and Browser, Release 2.5.1.
Note: The features described in this manual that apply to Ada are only available if you have purchased the ProDev Ada package. |
This manual contains the following chapters:
Chapter 1, "Introduction to the WorkShop Static Analyzer," describes the Static Analyzer, the WorkShop tool for examining the structure of a program's source code and the relationships between its parts, such as files, functions, and variables.
Chapter 2, "A Sample Session With the Static Analyzer," provides a tutorial to introduce you to some major features in the Static Analyzer.
Chapter 3, "Static Analyzer: Creating a Fileset and Generating a Database," describes the fileset concept. A fileset is a file that contains files you specify for inclusion in the analysis. You also specify whether a file is to be analyzed by the faster scanner mode or the slower, more thorough parser mode.
Chapter 4, "Static Analyzer: Queries," describes how you perform queries using the Static Analyzer.
Chapter 5, "Static Analyzer: Views," describes the text and graphical views that the Static Analyzer uses to present its data.
Chapter 6, "Static Analyzer: Working on Large Programming Projects," presents techniques for applying the Static Analyzer to large projects.
Chapter 7, "Getting Started With the Browser," tells you how to start the Browser and describes some of the features common to both the C++ and Ada versions of Browser View.
Chapter 8, "Using the Browser for C++: A Sample Session," provides a short tutorial highlighting the C++ features of Browser View.
Chapter 9, "Using the Browser for Ada: A Sample Session,"provides a short tutorial highlighting the Ada features of Browser View.
Chapter 10, "The Browser Reference," describes all of the Browser windows, menus, and other features in detail.