J.15.15 Distribution Pragmas
{
AI12-0417-1}
This subclause defines pragmas that specify properties of units for distributed
systems.
Discussion: {
AI12-0417-1}
These pragmas are presented in the order that the aspects are defined
in
Annex E.
Syntax
pragma Shared_Passive[(
library_unit_name)];
pragma Remote_Types[(
library_unit_name)];
pragma Remote_Call_Interface[(
library_unit_name)];
pragma All_Calls_Remote[(
library_unit_name)];
{
AI12-0417-1}
Each of these pragmas is a
library unit pragma.
Static Semantics
{
AI12-0417-1}
A
categorization pragma is a pragma that specifies a corresponding
categorization aspect.
{
AI12-0417-1}
The pragmas Shared_Passive, Remote_Types, and Remote_Call_Interface are
categorization pragmas. In addition, the pragma Pure (see
J.15.14)
is considered a categorization pragma.
{
AI12-0417-1}
A
pragma Shared_Passive
specifies that a library unit is a shared passive library unit, namely
that the Shared_Passive aspect (see
E.2.1)
of the library unit is True.
{
AI12-0417-1}
A
pragma Remote_Types
specifies that a library unit is a remote types library unit, namely
that the Remote_Types aspect (see
E.2.2)
of the library unit is True.
A
pragma
Remote_Call_Interface specifies that a library unit is a remote call
interface, namely that the Remote_Call_Interface aspect (see E.2.3) of
the library unit is True.
A
pragma
All_Calls_Remote specifies that the All_Calls_Remote aspect (see E.2.3)
of the library unit is True.
Wording Changes from Ada 2012
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe
