Re: Is the Ada compiler of Polyspace invalid?

[Julian Leyh <julian@vgai.de>]

On 18 Feb., 10:40, Martin <martin.do...@btopenworld.com> wrote:
> On Feb 18, 8: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..
>
> > In my understanding, the above should be completely valid Ada code -
> > even should have been valid Ada83 code (I use Ada95 standard for my
> > project).
>
> > Is the Polyspace compiler wrong? That would mean, it is no valid Ada
> > compiler.. Or is there a way to make Polyspace understand it?
>
> > Greetings,
> > Julian
>
> What's the error you're seeing? also what folders/files are visible in
> your polyspace project?...
>
> -- Martin

The error is:

Error: procedure or entry name expected.