13 The GNAT Pretty-Printer gnatpp

The gnatpp tool is an ASIS-based utility for source reformatting / pretty-printing. It takes an Ada source file as input and generates a reformatted version as output. You can specify various style directives via switches; e.g., identifier case conventions, rules of indentation, and comment layout.

To produce a reformatted file, gnatpp generates and uses the ASIS tree for the input source and thus requires the input to be syntactically and semantically legal. If this condition is not met, gnatpp will terminate with an error message; no output file will be generated.

If the compilation unit contained in the input source depends semantically upon units located outside the current directory, you have to provide the source search path when invoking gnatpp; see the description of the gnatpp switches below.

The gnatpp command has the form

     $ gnatpp [switches] filename

where

• switches is an optional sequence of switches defining such properties as the formatting rules, the source search path, and the destination for the output source file
• filename is the name (including the extension) of the source file to reformat; “wildcards” are not permitted. The file name may contain path information; it does not have to follow the GNAT file naming rules

• Switches for gnatpp
• Formatting Rules