Aonix ObjectAda

Overview
Invoking Ada-ASSURED
	From the ObjectAda graphical interface
	From the command line
Responses to ObjectAda menu commands
	Reference Buffers
Trouble Shooting
Additional Help

Overview

• Compilation

  From within Ada-ASSURED, you can easily invoke the ObjectAda compiler and jump directly from a list of compilation errors to the corresponding lines of source code.

• Navigation

  Using information stored during compilation, Ada-ASSURED enables you to find the declaration and uses of a code element.

• Understanding

  To help understand the source code, Ada-ASSURED and ObjectAda can show you the call graph, dependecy graph, and type hierachy of a particular code element.

The integration is set up during Ada-ASSURED installation and by setting an environment variable when ObjectAda is invoked.

When Ada-ASSURED is installed with the ObjectAda integration, there is an additional menu ObjectAda. This menu contains:

	Set Up Library
	Set Library to Current Dir
	Find Declaration
	Find Completion
	Find Uses
	Next Use
	Mark Current Use Obselete
	Analyze File
	Next Error
	Mark Current Error Fixed
	Link Unit
	Show Type Hierarchy
	Show Call Graph
	Show Dependency Graph
	Navigate To StP
	Help	

To function properly, the browser requires semantic information about Ada source code. This information is created by the Ada compiler front end and saved in information and cross-reference files.

The browser can be used with any Ada source code, whether or not it has been compiled. The source code must reside in the current program library. If the browser requests information about an Ada source file for which there is no up-to-date cross-reference file, the compiler is invoked implicitly to create the cross-reference file. The file to be cross-referenced must be registered in the current program library. Source files in linked libraries must be explicitly compiled before browsing.

Note: When a file has been browsed once, and then edited, subsequent browses typically fail because the cross-reference information is out of date. Attempts to browse an arbitrary Ada file that is not in the library result in a ``Nothing found at that location" message in the mini-buffer.

You can browse through files that contain Ada semantic errors. All information required for browsing is available, except for those constructs that are in error.

Invoking Ada-ASSURED

Ada-ASSURED must be correctly installed and the $AAHOME/bin directory must be in the user's path.

• From the ObjectAda graphical interface

  To access Ada-ASSURED from the top-level ObjectAda GUI, first set the EDITOR environment variable to "aa" (Not the full path, but just "aa"). Then select Edit from the File menu.

• From the command line

  Type "aa" from the command line.

Responses to ObjectAda menu commands

Selecting a command from the Aonix ObjectAda menu can

1. Move the cursor to a new location in an Ada source file (such as declarations and completions)
2. Create a new Ada-ASSURED buffer containing browser results (such as references, type hierarchy, call hierarchy, and unit dependencies).

   Reference Buffers

   If the command has results to display, a reference buffer is created containing the results. From a line in the reference buffer, you can jump to the corresponding source code line by:
   • Pressing RETURN
   • Clicking within the square brackets, e.g. [char 123]
   Two reference buffers are special. +Analyze-Results+ is created from the Analyze command. The errors in +Analyze-Results+ can be seen by invoking Next Error repeatedly. The buffer +Find-Uses+ is created from the Find Uses command and the uses can be seen by invoking Next Use repeatedly.

Trouble Shooting

1. Ada-ASSURED status message "Sending <...> request to ObjectAda" but no further response.

   Check your license management for ObjectAda.

   To test whether your license management is correct for ObjectAda:

   1. Start the ObjectAda executable "adagui"
   2. Choose "Tools/Compile" for a test file
   If your test file compiles then the license management is working.

2. Ada-ASSURED status message "No external line numbers for this section"

   Try saving your file.

3. Ada-ASSURED status message "Nothing found at that location"

   If you get this error message for all ObjectAda commands, try using the Set Library to Current Dir menu item to set up the ObjectAda library.

Additional Help

Aonix has an extensive help system for the ObjectAda programming environment:

• Catalog
• A Tour of Object Ada
• Quick Start Guide
• User Guide:
  • Table of Contents
  • Overview
  • Using the Program Library
  • Using the Ada Compiler
  • Using the Program Builder

See the help pages for the commands in the Aonix Object Ada menu:

Set Up Library
Set Library to Current Dir
Find Declaration
Find Completion
Find Uses
Next Use
Mark Current Use Obselete
Analyze File
Next Error
Mark Current Error Fixed
Link Unit
Show Type Hierarchy
Show Call Graph
Show Dependency Graph
Navigate To StP
Help