Re: SPARK and Interfaces.C

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

In article <1116005688.002279.128010@g43g2000cwa.googlegroups.com>,
ich_bin_elvis@hotmail.com writes
>Hi,
>
>Im trying to spark a program that uses Interfaces.C and
>Ada.Numerics.Elementary_Functions; I read in John Barnes book that
>there is a method callded shadowing that allows you to use these
>packages. I understand that you create a dummy package and uses this
>with the spark examiner. But i get an error when i try to examin the
>dummy package. Does anybody have any good examples how this is done??
>any article regarding multilanguage development and spark would be
>apriciated.
>
>Regrads
>Ronny
>

What errors are you getting? The following packages (based on the
examples in John's book) go through the Examiner without any errors.

(You have to add a couple of parent packages that aren't there at
present.)

Cheers,

Phil Thornley

-------------------------------------------------
package Interfaces is

end Interfaces;


package Interfaces.C is

   UCHAR_MAX : constant := 255;

   type unsigned_char is mod (UCHAR_MAX+1);

end Interfaces.C;






package Ada.Numerics is

end Ada.Numerics;



package Ada.Numerics.Elementary_Functions is

   function Sqrt(X : Float) return Float;
   function Log(X : Float) return Float;
   function Cos(X : Float) return Float;

end Ada.Numerics.Elementary_Functions;

-----------------------------------------------------



-- 
JP Thornley