Aspect Annotate (GNAT Reference Manual) (original) (raw)

Next: Aspect Async_Readers, Previous: Aspect Always_Terminates, Up: Implementation Defined Aspects [Contents][Index]

3.3 Aspect Annotate ¶

There are three forms of this aspect (where ID is an identifier, and ARG is a general expression), corresponding to pragma Annotate.

‘Annotate => ID’

Equivalent to pragma Annotate (ID, Entity => Name);

‘Annotate => (ID)’

Equivalent to pragma Annotate (ID, Entity => Name);

‘Annotate => (ID ,ID {, ARG})’

Equivalent to pragma Annotate (ID, ID {, ARG}, Entity => Name);