Further Reading

Ada-ASSURED has many more features and capabilities not described in this tutorial. Documentation on these capabilities can be found in other hypertext text pages.

Access to descriptions of all Ada-ASSURED commands is provided by command describe-command (menu: Help/Describe Command   key: Shift+F1).

Access to command descriptions organized according to the structure of the menus is provided by command describe-menus.

Key and mouse bindings can be shown using command describe-key-or-mouse-button (menu: Help/Describe Key).

Documentation on each currently enabled transform is provided by describe-transformation (menu: Help/Describe Transform).

Indexed access to the Ada LRM is provided by command describe-context. Clicking on any error code of the form [E##] also navigates to the LRM.

Clicking on any violation code [V##], or indicator code of the form [I##], navigates to the SPC Ada 95 Quality and Style Guidelines for Professional Programmers.

The scripting language is partially described on line. Also see Ada-ASSURED User Guide and Reference Manual and Ada-ASSURED Scripting Language: Supplemental Manual