Subversion Repositories openrisc

--  { dg-do compile }
 
with Ada.Finalization;
with Controlled1_Pkg; use Controlled1_Pkg;
 
package Controlled1 is
 
   type Collection is new Ada.Finalization.Controlled with null record;
 
   type Object_Kind_Type is (One, Two);
 
   type Byte_Array is array (Natural range <>) of Integer;
 
   type Bounded_Byte_Array_Type is record
     A : Byte_Array (1 .. Value);
   end record;
 
   type Object_Type is tagged record
     A : Bounded_Byte_Array_Type;
   end record;
 
   type R_Object_Type is new Object_Type with record
      L : Collection;
   end record;
 
   type Obj_Type (Kind : Object_Kind_Type := One) is record
      case Kind is
         when One => R : R_Object_Type;
         when others => null;
      end case;
   end record;
 
   type Obj_Array_Type is array (Positive range <>) of Obj_Type;
 
end Controlled1;