Re: generics in Ada 83

["Martin Dowie" <martin.dowie@baesystems.com>]

REH wrote:
> Is there a way to define a default for the with'd procedure in the
> following example in Ada 83:
>
> generic
>     type X is private;
>     with procedure Y(Z : in X);
> package Foo;
>
> I want to define a default for Y, but how can I without knowing X?
>
> I have a generic package that has several with'd procedures, but
> depending on what services the package provides are use, only a few of
> the procedures may need to be defined.  I'd like to just default the
> unused ones to stubs.

Same as Ada95:

generic
   type X is private;
   with procedure Y (Z : X) is <>;
package Foo is
end Foo;

Or do you mean you want the compiler to magically insert a 'null' procedure
if there isn't a matching procedure Y for whatever type X happens to be? If
that's the case you can't do that. There has to be some procedure (even one
that's only 'begin null end;') for each type.

Cheers

-- Martin