Ada Programming/Pragmas/Restrictions

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

Ada Lovelace 1838.jpg

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]