Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Annotated Ada Reference Manual (Ada 202x Draft 32)Legal Information
Contents   Index   References   Search   Previous   Next 

J.15.15 Distribution Pragmas

1/5
{AI12-0417-1} This subclause defines pragmas that specify properties of units for distributed systems.
1.a/5
Discussion: {AI12-0417-1} These pragmas are presented in the order that the aspects are defined in Annex E. 

Syntax

2/5
{AI12-0417-1} The following pragmas are defined with the given forms: 
3/5
  pragma Shared_Passive[(library_unit_name)];
4/5
  pragma Remote_Types[(library_unit_name)];
5/5
  pragma Remote_Call_Interface[(library_unit_name)];
6/5
  pragma All_Calls_Remote[(library_unit_name)];
7/5
{AI12-0417-1} Each of these pragmas is a library unit pragma.

Static Semantics

8/5
{AI12-0417-1} A categorization pragma is a pragma that specifies a corresponding categorization aspect.
9/5
{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.
10/5
{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.
11/5
{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.
12
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.
13
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

13.a/5
{AI12-0417-1} This subclause is new. These pragmas were moved here from Annex E, “Distributed Systems”. 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe