Installation: Customization

Changing Ada-ASSURED Defaults

The installation process described above will set up your environment so that certain standard choices are installed as defaults. Individual users may wish to have different values for the installation parameters. This section describes how to do this.

Site-Wide Customizations

The file aahome\files\aa-default-options.stk contains the initial resources for Ada-ASSURED. Whenever a new user starts using Ada-ASSURED this file is copied to aahome\User\user\aa-options.stk. To make site-wide customizations one can edit aa-default-options.stk, but existing aa-options.stk files would need to be updated separately.

See the User Guide & Reference Manual for a complete description of the resources that can be used to control the behavior of Ada-ASSURED.

List of Files

The files and subdirectories of the Ada-ASSURED directory are as follows:

bin contains executables for the following programs:
aa83.exe, aa95.exe: the quality and style enforcement editors for Ada~83 and Ada~95.
One of these will be chosen as the default editor, which you will be able to invoke from the Program menu.

pprint: an Ada-Utilities script that uses Ada-ASSURED as a batch prettyprinter.
aa83.tags.exe, aa95.tags.exe: utility routines associated with Ada-ASSURED's library browser.
One of these will be chosen as the default tags utility, which you will be able to invoke by executing the command aa.tags, a shell script that will be created by the installNT script.

maketags: a routine for creating a names database for an entire Ada library.
Ada-ASSURED's library browser uses a names database loaded from auxiliary files created by the stand-alone utility routine aa.tags. The shell script maketags, for use with certain Ada compilers, facilitates the creation of a names database for an entire library.
sg-client.exe: a program for sending commands to an Ada-ASSURED process.
lmgrd.exe: the FLEXlm license daemon,
aa.d: the GrammaTech Ada-ASSURED license daemon.
License management uses the Globetrotter FLEXlm License Manager and a vendor daemon provided by GrammaTech, Inc. of Ithaca, NY, creators of Ada-ASSURED.

lmtools.exe: A graphical tool for controlling and viewing license manager daemons.
doc contains the documentation for Ada-ASSURED, including the manual, the man(1) pages, the on-line hypertext, a PostScript copy of this manual in nt-installing.ps.gz, and the User Guide & Reference Manual in PostScript. The latter two files are compressed, and may be uncompressed using the gunzip utility, which is in Ada-ASSURED\bin.
AdaSamples contains some examples of Ada programs. The subdirectory SPC contains example programs derived from Ada Quality & Style published by the Software Productivity Consortium. All of the examples in the SPC guide were formatted, in whole or in part, by Ada-ASSURED.
scripts contains some sample editor scripts.
files contains the license authorization files, and an example of the configuration file, .aa_enforcement_params needed by Ada-ASSURED. Also contained in this directory are the default resource file aa-default-options.stk, and various files used to integrate Ada-ASSURED with other compilers and environments.
User will contain all user's options files.

Compiler Choices

Ada-ASSURED is integrated with the following compilers:

Aonix ObjectAda compiler (version 7.x)
Other compilers can be added (see the reference manual).