Pragma Annotate

Syntax:

     pragma Annotate (IDENTIFIER {, ARG});
     
     ARG ::= NAME | EXPRESSION

This pragma is used to annotate programs. identifier identifies the type of annotation. GNAT verifies that it is an identifier, but does not otherwise analyze it. The arg argument can be either a string literal or an expression. String literals are assumed to be of type Standard.String. Names of entities are simply analyzed as entity names. All other expressions are analyzed as expressions, and must be unambiguous.

The analyzed pragma is retained in the tree, but not otherwise processed by any part of the GNAT compiler. This pragma is intended for use by external tools, including ASIS.