Overview of the Bandera User Interface

 

 

 

Figure 2: Bandera main window

Invoking Bandera brings up the main window of the Bandera User Interface (BUI), and in this section we'll describe the function of the main window panes, tool-bar buttons, and pull-down menus.

• The Project and Code Panels
• Sessions
• Component Buttons
• Session Manager
• Property Specification Buttons
• The PDG Browser
• Abstract Type Inference
• Pull-down Menus