Ada Programming/Pragmas

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 pragmasEdit

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 – HEdit

I – OEdit

P – REdit

S – ZEdit

List of implementation defined pragmasEdit

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 – CEdit

D – HEdit

I – LEdit

M – PEdit

R – SEdit

T – ZEdit

See alsoEdit


Ada Reference ManualEdit

Ada 83Edit

Ada 95Edit

Ada 2005Edit

Ada 2012Edit


  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]