comp.lang.ada
 help / color / mirror / Atom feed
From: ich_bin_elvis@hotmail.com
Subject: Re: SPARK and Interfaces.C
Date: 17 May 2005 03:55:42 -0700
Date: 2005-05-17T03:55:42-07:00	[thread overview]
Message-ID: <1116327342.680775.205190@o13g2000cwo.googlegroups.com> (raw)
In-Reply-To: <1116072937.506109.246460@g47g2000cwa.googlegroups.com>

Now I've made the index file as described above. I also made all the
files interfaces.ads, interfaces-c.ads etc and made empty package
spesifications on the parent packages. I run the spark command

spark /i=adadll.idx
adadll.ads,interfaces.ads,interfaces-c.ads,ada-numerics.ads,ada-numerics-elementary_functions.ads


and I get the message.

                       DATE : 17-MAY-2005 12:48:54.31


   3  WITH Interfaces.C;
      ^
***        Syntax Error      : No complete DOTTED_SIMPLE_NAME can be
followe
           by ANNOTATION_END here.

           Generating listing file ADADLL.LST ...

           Examining the specification of package Interfaces ...

           Generating listing file INTERFACES.LST ...

           Examining the specification of package C ...

           Generating listing file INTERFACES-C.LST ...

           Examining the specification of package Numerics ...

           Generating listing file ADA-NUMERICS.LST ...

           Examining the specification of package Elementary_Functions
...

           Generating listing file
ADA-NUMERICS-ELEMENTARY_FUNCTIONS.LST ...

           Generating report file ...


-----------End of SPARK Examination--------------------------------

The start of the Adadll.ads file looks like this:

with Ada.Numerics.Elementary_Functions;
with Interfaces.C;
with Win32;
use type Win32.Bool;

package body Adadll is
...

What am I doing wrong??




  parent reply	other threads:[~2005-05-17 10:55 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-05-13 17:34 SPARK and Interfaces.C ich_bin_elvis
2005-05-13 19:40 ` JP Thornley
2005-05-14 12:15   ` Rod Chapman
2005-05-14 13:31     ` Martin Dowie
2005-05-14 15:41       ` Rod Chapman
2005-05-17 10:55     ` ich_bin_elvis [this message]
2005-05-17 14:40       ` Rod Chapman
2005-05-19  8:12         ` ich_bin_elvis
2005-05-19  8:46         ` ich_bin_elvis
2005-05-19  9:01           ` Rod Chapman
2005-05-19 10:25             ` ich_bin_elvis
2005-05-21 22:52               ` JP Thornley
2005-05-23  9:48                 ` ich_bin_elvis
2005-05-23 13:30                   ` JP Thornley
2005-05-23 15:10                     ` JP Thornley
2005-05-24  8:57                       ` ich_bin_elvis
2005-05-24 10:36                         ` JP Thornley
2005-05-24 20:34                           ` ich_bin_elvis
2005-05-25  7:54                             ` JP Thornley
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox