summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/rt1.ads
blob: 50cbbf0ff74e304aeb958f9cf69c391731a43510 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
with Ada.Streams; use Ada.Streams;
package RT1 is
   pragma Remote_Types;

   type Ptr is private;
   procedure Read (X : access Root_Stream_Type'Class; V : out Ptr) is null;
   procedure Write (X : access Root_Stream_Type'Class; V : Ptr) is null;
   for Ptr'Read use Read;
   for Ptr'Write use Write;
   
   procedure P (S : access Root_Stream_Type'Class);
private
   type Ptr is not null access all Integer;
end RT1;