Re: Ada Basics

["Matthew Heaney" <mheaney@on2.com>]

"David C. Hoos" <david.c.hoos.sr@ada95.com> wrote in message
news:mailman.1034189822.26075.comp.lang.ada@ada.eu.org...
> Where is the procedure Increment declared?

I meant Inc.

Inc is declared in P.

Q.NT inherits P.Inc.

I should have pointed out that Q.NT, in addition to constraining its
parent's range, can also override the operations it inherits.  For example:

package P is
   type T is range 0 .. 200;
   procedure Inc (O : in out T);
end;

with P;
package Q is
   type NT is new P.T;
   procedure Inc (O : in out NT); --override P.Inc
end;