part_of1-private_generic.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/part_of1-private_generic.ads

blob: f6aacb54c68b788feb2570d23de311f7d5439e13 (plain)

private generic
   Count : Integer := 4;
package Part_Of1.Private_Generic
with
   Abstract_State => State
is

   subtype Range_Type is Integer range 1 .. Count;

   function Get (I : Range_Type) return Integer;

end Part_Of1.Private_Generic;