From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,782d14fd472db944
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Question about interfacing C and Ada95
Date: 1999/11/13
Message-ID: <80ivjm$11r$1@nnrp1.deja.com>#1/1
X-Deja-AN: 548030265
References: <806ud0$lu1$1@trog.dera.gov.uk> <8076h5$d3c$1@nnrp1.deja.com>
 <808la7$4b9$1@trog.dera.gov.uk> <809dv6$a7$1@nnrp1.deja.com>
 <80gh96$82d$1@trog.dera.gov.uk> <80h2uc$kbt$1@nnrp1.deja.com>
 <80hge1$upk$1@nnrp1.deja.com>
X-Http-Proxy: 1.0 x27.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Sat Nov 13 06:14:15 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-11-13T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <80hge1$upk$1@nnrp1.deja.com>,
  Ted Dennison <dennison@telepath.com> wrote:

> > Read the exact rules in the RM, and make sure that your
> > compiler documents that it follows them (this documentation
> > must be present in a conforming compiler, it is required,
> > see annex M)

> True. And (just to tweak Robert a bit :-) ) I'll also point
> out that it is meerly "implementation advice" that it work
> this way. But this is something you should be able to count
> on, and yell at your vendor if it
> doesn't work.

This really rates a huh? Ted, the *reason* that I said above
that you should check that your compiler follows these is
*precisely* that they are IA. Of course you do not have to
check documentation to see whether your compiler follows
required normative rules!

THe point is that in evaluating compilers, you must be able to
easily check if some given IA is followed, since compilers are
required by Annex M to provide this information in their
documentation (the relevant documentation in GNAT's case can
be found in the GNAT programmers reference manual for example,
but there must be equivalent documentation in any compiler
claiming conformance to the Ada 95 RM.

As Bob has pointed out, Ada 95 tends to go much further in
specifying such things than other languages. They are IA simply
because it is (quite obviously) impossible to formalize these
kind of interface rules.


Sent via Deja.com http://www.deja.com/
Before you buy.