gcc/testsuite/gnat.dg/atomic4.ads

   1 with Ada.Containers.Vectors;
   2
   3 package Atomic4 is
   4
   5    type String is limited null record;
   6    type String_Access is access all String;
   7    pragma Atomic (String_Access);
   8
   9    type Reference is record
  10       Text : String_Access;
  11    end record;
  12
  13    package Reference_Vectors is
  14      new Ada.Containers.Vectors (Natural, Reference);
  15
  16    type Reader is tagged limited record
  17       Current_Reference : Reference;
  18       Reference_Stack   : Reference_Vectors.Vector;
  19    end record;
  20
  21    procedure Next (Self : in out Reader'Class);
  22
  23 end Atomic4;