Ada Programming/Pragmas

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Ada. Time-tested, safe and secure.


Pragmas control the compiler, i.e. they are compiler directives. They have the standard form of

pragma Name (Parameter_List);

where the parameter list is optional.

List of language defined pragmas[edit]

Some pragmas are specially marked:

Ada 2005
This is a new Ada 2005 pragma.
Ada 2012
This is a new Ada 2012 pragma.
This is a deprecated pragma and it should not be used in new code.

A – H[edit]

I – O[edit]

P – R[edit]

S – Z[edit]

List of implementation defined pragmas[edit]

The following pragmas are not available in all Ada compilers, only in those that had implemented them.

Currently, there are only listed the implementation-defined pragmas of a few compilers. You can help Wikibooks adding specific aspects of other compilers:

Implementation defined pragma of the GNAT compiler from AdaCore and FSF.
HP Ada
Implementation defined pragma of the HP Ada compiler (formerly known as "DEC Ada").
Implementation-defined pragma[1] of the Irvine ICC compiler.
Implementation defined pragma of OC Systems' PowerAda.
Implementation defined pragma of Sun's SPARCompiler Ada.[2]

A – C[edit]

D – H[edit]

I – L[edit]

M – P[edit]

R – S[edit]

T – Z[edit]

See also[edit]


Ada Reference Manual[edit]

Ada 83[edit]

Ada 95[edit]

Ada 2005[edit]

Ada 2012[edit]


  1. "2.2 ICC-Defined Pragmas", ICC Ada Implementation Reference — ICC Ada Version 8.2.5 for i960MC Targets, document version 2.11.4.[1]