Re: Is the Ada compiler of Polyspace invalid?

[Adam Beneschan <adam@irvine.com>]

On Feb 18, 12:58 am, Julian Leyh <jul...@vgai.de> wrote:
> Hi,
>
> I have some Ada code, which I would like to try Polyspace on.
>
> It contains something like this (simplified):
>
> foo.ads:
> procedure foo;
>
> foo.adb:
> procedure foo is
> ...
> end foo;
>
> somewhere else:
> with foo;
> ...
> foo;
> ...
>
> The Polyspace compiler doesn't seem to like this..

I don't know anything about Polyspace.  But a couple things come to
mind:

(a) In order to say "with foo;", foo has to be a library unit, and it
has to be in the library.  The language does not define what the
"library" is or how units get entered into it.  How this happens
varies between compiler vendors.  I believe that with GNAT, the mere
presence of foo.ads would be enough to tell the compiler that the unit
"foo" is in the library.  With other compilers, though, you have to
take other steps (such as running a command that compiles foo.ads).
You'll have to check the documentation.

(b) Even if "foo" is in the library, there may be another identifier
named "foo" that is visible at the point where you call it, which can
lead to the library unit being hidden or to the call being ambiguous.
You'd need to tell us just what errors you're getting for the rest of
us to help with this.

                                 -- Adam