Language-Defined Aspects

Ada Reference Manual (Ada 2022) — Legal Information

K.1 Language-Defined Aspects

This subclause summarizes the definitions given elsewhere of the language-defined aspects. Aspects are properties of entities that can be specified by the Ada program; unless otherwise specified below, aspects can be specified using an aspect_specification.

Mechanism to define user-defined aggregates. See 4.3.5.

All indirect or dispatching remote subprogram calls, and all direct remote subprogram calls, should use the Partition Communication Subsystem. See E.2.3.

An indication of whether a subprogram will operate correctly for arbitrary transfers of control. See 5.5.3.

Remote procedure calls are asynchronous; the caller continues without waiting for the call to return. See E.4.1.

Declare that a type, object, or component is atomic. See C.6.

Declare that the components of an array type or object are atomic. See C.6.

Protected procedure is attached to an interrupt. See C.3.1.

Order of bit numbering in a record_representation_clause. See 13.5.3.

Internal representation of enumeration literals. Specified by an enumeration_representation_clause, not by an aspect_specification. See 13.4.

Size in bits of a component of an array type. See 13.3.

Defines function(s) to implement user-defined indexed_components. See 4.1.6.

Calling convention or other convention used for interfacing to other languages. See B.1.

Processor on which a given task, or calling task for a protected operation, should run. See D.16.

Default value for the components of an array-of-scalar subtype. See 3.6.

A condition that will hold true after the default initialization of an object. See 7.3.3.

Default iterator to be used in for loops. See 5.5.1.

Default storage pool for a generic instance. See 13.11.3.

Requests a reduction in storage for names associated with an entity. See C.5.

Generic formal parameters used in the implementation of an entity. See H.7.1.

Domain (group of processors) on which a given task should run. See D.16.1.

Condition that will hold true for objects of a given subtype; the subtype is not static. See 3.2.4.

A given package will have a body, and that body is elaborated immediately after the declaration. See 10.2.1.

Specifies mutual exclusion behavior of protected functions in a protected type. See 9.5.1.

Name used to identify an imported or exported entity. See B.1.

Unique identifier for a tagged type in streams. See 13.3.

Declare that a volatile type, object, or component is full access. See C.6.

Global object usage contract inherited on derivation. See 6.1.2.

Mechanism for user-defined implicit .all. See 4.1.5.

Declare that a type, object, or component is independently addressable. See C.6.

Declare that the components of an array or record type, or an array object, are independently addressable. See C.6.

For efficiency, Inline calls are requested for a subprogram. See 6.3.2.

Function to read a value from a stream for a given type, including any bounds and discriminants. See 13.13.2.

Function to read a value from a stream for a the class-wide type associated with a given type, including any bounds and discriminants. See 13.13.2.

Defines a function to implement user-defined integer literals. See 4.2.1.

Protected procedure may be attached to interrupts. See C.3.1.

Priority of a task object or type, or priority of a protected object or type; the priority is in the interrupt range. See D.1.

Element type to be used for user-defined iterators. See 5.5.1.

An alternative type to used for container element iterators. See 5.5.1.

Layout of record components. Specified by a record_representation_clause, not by an aspect_specification. See 13.5.1.

Linker symbol used to identify an imported or exported entity. See B.1.

Radix (2 or 10) that is used to represent a decimal fixed point type. See F.1.

The maximum entry queue length for a task type, protected type, or entry. See D.4.

A specification that a type and its descendants do not have controlled parts. See H.4.1.

Specifies that an associated subprogram does not block. See 9.5.

Procedure to write a value to a stream for a given type, including any bounds and discriminants. See 13.13.2.

Procedure to write a value to a stream for a the class-wide type associated with a given type, including any bounds and discriminants. See 13.13.2.

Minimize storage when laying out records and arrays. See 13.2.

Specifies whether a given subprogram is expected to be called in parallel. See 9.10.1.

An indication of whether a subprogram may use multiple threads of control to invoke a loop body procedure. See 5.5.3.

Postcondition; a condition that will hold true after a call. See 6.1.1.

Postcondition that applies to corresponding subprograms of descendant types. See 6.1.1.

Precondition; a condition that is expected to hold true before a call. See 6.1.1.

Precondition that applies to corresponding subprograms of descendant types. See 6.1.1.

Action to be performed when a predicate check fails. See 3.2.4.

Declares that a type has preelaborable initialization. See 10.2.1.

Code execution during elaboration is avoided for a given package. See 10.2.1.

Priority of a task object or type, or priority of a protected object or type; the priority is not in the interrupt range. See D.1.

Side effects are avoided in the subprograms of a given package. See 10.2.1.

Procedure to define the image of a given type. See 4.10.

Procedure to read a value from a stream for a given type. See 13.13.2.

Procedure to read a value from a stream for the class-wide type associated with a given type. See 13.13.2.

Defines a function or functions to implement user-defined real literals. See 4.2.1.

Task or protected type parameter used in Earliest Deadline First Dispatching. See D.2.6.

Subprograms in a given package may be used in remote procedure calls. See E.2.3.

Types in a given package may be used in remote procedure calls. See E.2.2.

A given package is used to represent shared memory in a distributed system. See E.2.1.

A list of functions describing characteristics that usually are unchanged by primitive operations of the type or an individual primitive subprogram. See 7.3.4.

A list of functions describing characteristics that usually are unchanged by primitive operations of a class of types or a primitive subprogram for such a class. See 7.3.4.

Specifies that an associated expression function can be used in static expressions. See 6.8.

Condition that will hold true for objects of a given subtype; the subtype may be static. See 3.2.4.

Pool of memory from which new will allocate for a given access type. See 13.11.

Sets memory size for allocations for an access type. See 13.11.

Size in storage elements reserved for a task type or single task object. See 13.3.

Size in bits used to represent elementary objects in a stream. See 13.13.2.

Defines a function to implement user-defined string literals. See 4.2.1.

Defines whether a given primitive operation of a synchronized interface will be implemented by an entry or protected procedure. See 9.5.

A condition that will hold true for all objects of a type. See 7.3.2.

A condition that will hold true for all objects in a class of types. See 7.3.2.

Type is used to interface to a C union type. See B.3.3.

Generic formal parameters used in the implementation of an entity. See H.7.1.

Defines function(s) to implement user-defined indexed_components. See 4.1.6.

Declare that a type, object, or component is volatile. See C.6.

Declare that the components of an array type or object are volatile. See C.6.

Procedure to write a value to a stream for a given type. See 13.13.2.

Procedure to write a value to a stream for a the class-wide type associated with a given type. See 13.13.2.

Ensures that a callable entity includes a task dispatching point. See D.2.1.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe