Re: SPARK and Interfaces.C

[ich_bin_elvis@hotmail.com]

Now I have sparked the adadll.ads spesifcation file with the use of
interfaces.C.
Ada have moved on to Adadll.adb  this one uses the elementary
functions. and I have added. ada.numerics.elementary_functions; on the
inherit clause in the ads file. when I try to spark then I get an error
when I try to spark the ads file again.


           Examining the specification of package Elementary_Functions
...

   1  package Ada.Numerics.Elementary_Functions is
                  ^
***        Semantic Error    :  1: The identifier Numerics is either
undeclared
or
           not visible at this point.

           Examining the specification of package Adadll ...

   4  --#inherit System, Interfaces.C,
Ada.Numerics.Elementary_Functions;
                                           ^
***        Semantic Error    :  1: The identifier Numerics is either
undeclared
or
           not visible at this point.

 130  end Adadll;

---        Warning           : 10: The private part of package Adadll
is hidden
-
           hidden text is ignored by the SPARK Examiner.

           Generating listing file ADADLL.LST ...

           Generating report file ...

Ive added

Ada.Numerics specification is in ada-numerics.ads
Ada.Numerics.Elementary_Functions specification is in
ada-numerics-elementary_functions.ads

in my Index file where ada-numerics.ads is an empty

package ada.numerics is
end package;

Ada.numerics.elementarty_functions contains all the functions I use
like Cos,Sin and Atan.

could some one help me please?