Pragmas

Ada Programming · Wikibooks

0%

Contents

    Text

    Size
    100%
    Theme
    Typeface
    Line length
    Spacing

    From Wikibooks, under CC BY-SA 4.0, as the source states it. This page at Wikibooks.

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

    Description

    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

    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

    I – O

    P – R

    S – Z

    List of implementation defined pragmas

    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

    D – H

    I – L

    M – P

    R – S

    T – Z

    See also

    Wikibook

    Ada Reference Manual

    Ada 83

    Ada 95

    Ada 2005

    Ada 2012

    References

    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]