Re: SPARK and Interfaces.C

[JP Thornley <jpt@diphi.demon.co.uk>]

In article <1116498302.651121.297610@g49g2000cwa.googlegroups.com>,
ich_bin_elvis@hotmail.com writes
>Thanks got the sytem shadow to work when i used the hide an, with
>configuration file i still got an error.
>
>   4  type double is new Standard.Long_Float;
>                                            ^
>***        Syntax Error      : reserved word "WITH" expected.
>
>   6  type int is new Integer;
>                             ^
>***        Syntax Error      : reserved word "WITH" expected.
>
>           Examining the specification of package Adadll ...

That's because non-tagged derived types aren't in SPARK.

The obvious change is to change them to renaming subtype definitions:

   subtype double is Standard.Long_Float;

   subtype int is Integer;

which might trigger some "unnecessary type conversion" warnings, but you
can ignore these.

>
>The spesification file looks like this
>
>package interfaces.C is
>
>type double is new Standard.Long_Float;
>type unsigned_long  is mod 2 ** long'Size;
>type int is new Integer;
>
>end interfaces.C;
>
>and the Adadll.ads file looks like this, this one gets several errors
>like this
>  11     subtype BOOL      is Interfaces.C.int;
>                              ^
>***        Semantic Error    :754: The identifier Interfaces is either
>undeclared
>           or not visible at this point. This package must be both
>inherited
>           and withed to be visible here.
This is probably a result of the semantic errors in the specification.
Once you've got rid of those then this one will probably go away as
well.

Cheers,

Phil
-- 
JP Thornley