gcc/testsuite/gnat.dg/class_wide4_pkg2.ads

   1 with Class_Wide4_Pkg;
   2
   3 package Class_Wide4_Pkg2 is
   4
   5    type Object is limited new
   6      Class_Wide4_Pkg.Conditional_Interface with
   7    record
   8       Val : Integer := 1234;
   9    end record;
  10
  11    function Is_Valid
  12      (This : in Object)
  13       return Boolean
  14    is
  15      (This.Val = 1234);
  16
  17    function Is_Supported_Data
  18      (This : in Object;
  19       Data : not null access Class_Wide4_Pkg.Data_Object'Class)
  20       return Boolean
  21    is
  22      (This.Val = 1234);
  23
  24    procedure Do_Stuff
  25      (This : in out Object) is null;
  26
  27    procedure Do_Stuff_Access
  28      (This : not null access Object) is null;
  29
  30 end Class_Wide4_Pkg2;