Wikibooks

Ada Programming/Pragmas

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

Description Edit

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.
Obsolescent
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:

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

D – H Edit

I – L Edit

M – P Edit

R – S Edit

T – Z Edit

See also Edit

Wikibook Edit

Ada Reference Manual Edit

Ada 83 Edit

Ada 95 Edit

Ada 2005 Edit

Ada 2012 Edit

References 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]
Retrieved from "https://en.wikibooks.org/w/index.php?title=Ada_Programming/Pragmas&oldid=3806671"