Re: Question about OO programming in Ada

["Randy Brukardt" <randy@rrsoftware.com>]

"Stephen Leake" <Stephe.Leake@nasa.gov> wrote in message
news:u4qwryvkj.fsf@nasa.gov...
> > > Yikes! The "in" isn't allowed here, nor is the "all" -- they're both
> > > assumed.
> >
> > "in" is allowed, even if assumed. :-)
>
> Hmm. Never make statements like this without first running the code
> thru a compiler. Randy writes compilers and edits the Ada Language
> Reference Manual (you probably did not know this), so he knows what
> he's talking about.

Thanks for the complement, even though it isn't always true. :-)

> "in" is neither assumed nor allowed.

Well, (putting on the language laywer hat), 6.1(18) says that the mode of an
access parameter is 'in'. So in that sense, mode 'in' is assumed - which is
what I meant by the original comment. But it definitely is not allowed to
give 'in' for an access parameter.

                   Randy.