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??
next prev 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