Ada Programming/Pragmas/Restrictions

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



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:

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

See also[edit]


Ada Reference Manual[edit]

Ada Quality and Style Guide[edit]