Ada Programming/Pragmas

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

Ada. Time-tested, safe and secure.
Ada. Time-tested, safe and secure.

Description[edit | edit source]

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 | edit source]

Some pragmas are specially marked:

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

A – H[edit | edit source]

I – O[edit | edit source]

P – R[edit | edit source]

S – Z[edit | edit source]

List of implementation defined pragmas[edit | edit source]

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:

GNAT
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").
ICC
Implementation-defined pragma[1] of the Irvine ICC compiler.
PowerAda
Implementation defined pragma of OC Systems' PowerAda.
SPARCompiler
Implementation defined pragma of Sun's SPARCompiler Ada.[2]

A – C[edit | edit source]

D – H[edit | edit source]

I – L[edit | edit source]

M – P[edit | edit source]

R – S[edit | edit source]

T – Z[edit | edit source]

See also[edit | edit source]

Wikibook[edit | edit source]

Ada Reference Manual[edit | edit source]

Ada 83[edit | edit source]

Ada 95[edit | edit source]

Ada 2005[edit | edit source]

Ada 2012[edit | edit source]

References[edit | edit source]

  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]