User-defined HeadersScripts can be used to customize Ada-ASSURED. For example, you can modify the built-in transforms to follow local coding conventions of your project. This is illustrated using one of the sample libraries of user-defined headers that comes with Ada-ASSURED.
Invoke command
eval-file
(menu: Tools/Scripts/Eval File). Enter the full path name of
file aahome/Ada-ASSURED/scripts/adl.headers.stk,
or use the browser to find it. Then click OK.
Although you have now loaded the definitions for the new transforms, they have not yet been enabled.
Select Options/Adl Headers to enable the new headers.
We illustrate the new headers in a fresh buffer:
Invoke command
new.
Enter the buffer name
user, select syntactic mode compilation, and
click OK.
Invoke template unit-header.
The unit header consists of some standard comments with placeholders that must be filled in. Unlike built-in placeholders, which disappear automatically, the "pseudo" placeholders in comments should be selected before typing to make them go away.
Drag out the text
<name_without_blanks>
using SELECT, and then type your name.
Click SELECT at the end of the file
and strike RETURN to get to a
<compilation_item> placeholder.
Invoke template procedure-body.
The Adl header package can be disabled again by selecting Options/Adl Headers.