12 lines
320 B
Ada
12 lines
320 B
Ada
package Sync_Iface_Test is
|
|
type Iface is limited interface;
|
|
function First (Obj : Iface) return Natural is abstract;
|
|
|
|
protected type Buffer is new Iface with
|
|
procedure Dummy;
|
|
end;
|
|
overriding function First (Obj : Buffer) return Natural;
|
|
|
|
procedure Do_Test (Dummy : Natural; Item : Buffer);
|
|
end;
|