RISC-V: Add support for riscv-*-*.
[official-gcc.git] / gcc / testsuite / gnat.dg / class_wide4_pkg.ads
blobb8ba44c13801ed43f6433dd157f665cbe142deea
1 package Class_Wide4_Pkg is
3 type Conditional_Interface is limited interface;
5 type Data_Object is tagged null record;
7 function Is_Valid
8 (This : in Conditional_Interface)
9 return Boolean is abstract;
11 procedure Do_Stuff
12 (This : in out Conditional_Interface) is abstract
13 with
14 Pre'Class => This.Is_Valid;
16 procedure Do_Stuff_Access
17 (This : not null access Conditional_Interface) is abstract
18 with
19 Pre'Class => This.Is_Valid;
21 end Class_Wide4_Pkg;