Ada Programming/Pragmas/Restrictions


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

Summary edit

The pragma Restrictions is used to forbid the utilization of some language features.

List of language defined restrictions identifiers edit

Some restrictions are specially marked:

Ada 2005
This is a new Ada 2005 restrictions identifier.
Ada 2012
This is a new Ada 2012 restrictions identifier.

List of implementation defined restrictions identifiers edit

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

GNAT
This is an implementation defined restriction identifier of the GNAT compiler.

See also edit

Wikibook edit

Ada Reference Manual edit

Ada Quality and Style Guide edit