Next: Pragma Restricted_Run_Time, Previous: Pragma Relative_Deadline, Up: Implementation Defined Pragmas
Syntax:
pragma Remote_Access_Type ([Entity =>] formal_access_type_LOCAL_NAME);
This pragma appears in the formal part of a generic declaration. It specifies an exception to the RM rule from E.2.2(17/2), which forbids the use of a remote access to class-wide type as actual for a formal access type.
When this pragma applies to a formal access type Entity, that type is treated as a remote access to class-wide type in the generic. It must be a formal general access type, and its designated type must be the class-wide type of a formal tagged limited private type from the same generic declaration.
In the generic unit, the formal type is subject to all restrictions pertaining to remote access to class-wide types. At instantiation, the actual type must be a remote access to class-wide type.