blob: 695cffb1947a4d3f09d6fb168bc351ffdb9af3b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
with Overriding_Ops2_Pkg.High;
package Overriding_Ops2 is
type Consumer is tagged limited private;
private
type Consumer is
limited
new Overriding_Ops2_Pkg.High.High_Level_Session
with null record;
overriding procedure Finalize (Self : in out Consumer);
end Overriding_Ops2;
|