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.

The file aahome/Ada-ASSURED3.5/resources/aa-resources contains the following variables that may be easily changed:

WSYSTEM

defines which windowing-system's mouse conventions to use. This may take the following values:

OW for Sun OpenWindows.
MOTIF for OSF/Motif.
MIT for the standard MIT release.
CDE for the Common Desktop Environment.

KEYBOARD

defines what type of keyboard is being used. This tells Ada-ASSURED that certain keys are available to bind to particular commands. It may take the following values:

SUN4 for the Sun type 4 keyboard
KBDECSUN4 for the Sun type 4 keyboard
KBDEC for DEC LK401 keyboards.
KBIBM for IBM type keyboard. Note this includes Sun type 5 keyboards, Silicon Graphics IRIS keyboards and PC-101 keyboards.
HP101 for HP PC-101 type keyboard.
OTHER for all others.

SIZE

defines which point size to use for various fonts . Valid values of SIZE depend on particular fonts being available at your site. Typically, the following values may be used: 12, 14, 18 or 24.

PARAMETER_LOCATION

optionally specifies the directory containing the enforcement parameter settings used by Ada-ASSURED. If this resource is empty, both aa83 and aa95 read their enforcement parameter settings from the file aahome/Ada-ASSURED3.5/files/.aa_enforcement_params. Ultimately a project will decide on its own settings for these parameters, but for demonstration purposes and to help start you off, a version of this file is provided that sets up Ada-ASSURED so that it enforces the SPC guidelines. Should you wish to tune the guidelines to your own individual or site-specific requirements, you should first save a copy the original file or copy it to some other directory and set PARAMETER_LOCATION to that directory. See the User Guide & Reference Manual for a full description of the enforcement parameters and instructions on setting them.

Customization of Ada-ASSURED through changes in these parameters is performed using xrdb. To set the value of the above symbols, issue the command

xrdb -merge aahome/Ada-ASSURED3.5/resources/aa-resources definitions

where definitions is an optional list of phrases of the form

-Dname=value

For example to run Ada-ASSURED using OSF/Motif mouse and cut-and-paste conventions, with a font size of 18 points, issue the following command before invoking it:

xrdb -merge aahome/Ada-ASSURED3.5/resources/aa-resources -DWSYSTEM=MOTIF -DSIZE=18

Advanced Site-wide Customizations

To make site-wide customizations, do the following:

Save a copy of the file aahome/Ada-ASSURED3.5/resources/syngen_resources.
Make all your changes to the file syngen_resources.
Re-run the script aahome/Ada-ASSURED3.5/install.

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

Advanced Personal Customizations

Should an end user wish to do more advanced customization such as changing key bindings or colors, they should make their own copy of the aa-resources file, modify the appropriate resources, and use xrdb to load them when necessary. See theUser Guide & Reference Manual for a complete description of the X resources that can be used to control the behavior of Ada-ASSURED.

List of Files

The files and subdirectories of the Ada-ASSURED3.5 directory are as follows:

install is a shell script that will unpack files, set certain variables, and check permissions.
bin contains executables for the following programs:
aa83, aa95: 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 by executing the command aa, a shell script that will be created by the install program.

aa.env.csh a csh script that can be used as a template for individual user environment customizations. This script is created by install and must be edited before being used.
pprint: an Ada-Utilities script that uses Ada-ASSURED as a batch prettyprinter.
aa83.tags, aa95.tags: 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 install program.

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.

psfilter: a program that may be used to download special purpose fonts to a PostScript printer.
sg-client: a program for sending commands to an Ada-ASSURED process.
eMosaic: an HTML browser for viewing the on-line help cards.
Enhanced_Mosaic: this directory contains the actual binary and support files for SpyGlass eMosaic.
lmgrd: 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.

lmchksum: performs a checksum of a license file,
lmdiag: diagnoses problems when you cannot check out a license,
lmdown: shuts down license manager daemons,
lmhostid: prints the host identifier needed for license encryption,
lmread: starts vendor daemons,
lmremove: removes licenses after machine crashes,
lmstat: monitors license manager status,
lmswitchr: redirects license manager logging,
lmver: displays the license manager version number.
Administrative routines associated with the FLEXlm License Manager.
resources contains resource files for the X server resource database.
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 installing.ps.Z, and the User Guide & Reference Manual in PostScript. The latter two files are compressed, and may be uncompressed using the Unix command uncompress.
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 program mk_license, which is used to create the license file and various files used to integrate Ada-ASSURED with other compilers and environments.
PostScript contains files needed by Ada-ASSURED to produce PostScript output.

Compiler Choices

Ada-ASSURED is integrated with the following compilers:

Aonix ObjectAda compiler (v7)
SunAda/VERDIX/Rational compiler
DEC Ada compiler
Tartan Ada compiler
OC Systems IBM compiler
GNU Ada compiler (gnat)
Thomson (ALSYS) Object Ada compiler (v6.0)
Green Hills Ada and Ada95 compiler