Re: SPARK examiner visibility problem

[Phil Thornley <phil.jpthornley@googlemail.com>]

On 14 Sep, 07:28, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> Laurie Dillon wrote on comp.lang.ada:
>
> > The examiner has no problem with this package (the body carries a
> > #hide Std_IO annotation).  But when I try to examine a package spec
> > (or body) that inherits Std_IO, I get semantic errors at every
> > reference to Std_IO.stdin and Std_IO.stdout.
>
> From a past discussion here on comp.lang.ada, I vaguely remember that
> #hide annotations must be in the spec, not in the body, to take
> effect.
>
> --
> Ludovic Brenta.

You can hide any of:
1. the private part of a spec (not the visible part)
   the --# hide follows the 'private' keyword

2. a package body (all of it)
   the --# hide follows the 'is' keyword.

3. a subprogram body
   ditto

4. the initialisation part of a package body
   the --# hide follows the 'begin' keyword.

Cheers,

Phil