overriding_ops2_pkg.ads\gnat.dg\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/overriding_ops2_pkg.ads

blob: 85c8f0b6afb6ec2c8e8dfb71fb8bcb65b28064de (plain)

with Ada.Finalization;

package Overriding_Ops2_Pkg is
   type Session_Type is abstract tagged limited private;
   procedure Finalize (Session : in out Session_Type);
private
   type Session_Type is
     abstract new Ada.Finalization.Limited_Controlled with null record;
end Overriding_Ops2_Pkg;