From: ich_bin_elvis@hotmail.com
Subject: SPARK and Interfaces.C
Date: 13 May 2005 10:34:48 -0700
Date: 2005-05-13T10:34:48-07:00 [thread overview]
Message-ID: <1116005688.002279.128010@g43g2000cwa.googlegroups.com> (raw)
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
next reply other threads:[~2005-05-13 17:34 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-05-13 17:34 ich_bin_elvis [this message]
2005-05-13 19:40 ` SPARK and Interfaces.C 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
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