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
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,6b6619eb9cada212
X-Google-Attributes: gid103376,public
From: Rakesh Malhotra <rakesh.malhotra@pop.safetran.com>
Subject: Re: Help me to chose between ADA 95 and C++
Date: 1999/12/16
Message-ID: <38590595.9BE04DA9@pop.safetran.com>#1/1
X-Deja-AN: 561546374
Distribution: world
Content-Transfer-Encoding: 8bit
References: <01bf37fb$a91afb60$0564a8c0@IS-D2D04C.test>
 <B46461D2.259F%Harald.Schmidt@tomcat.de>
 <829rbv$a8m$1@nntp6.atl.mindspring.net> <01bf3e32$0b9dc880$022a6282@dieppe>
 <385112AE.7E2CFA9@rdel.co.uk> <833d8i$sjf$1@nntp5.atl.mindspring.net>
 <38566835.B4A2D48@rdel.co.uk> <83a8od$r6t$1@clnews.edf.fr>
X-Accept-Language: en
Content-Type: text/plain; charset=iso-8859-1
X-Abuse-Info: Otherwise we will be unable to process your complaint properly
X-Complaints-To: abuse@gte.net
X-Trace: 
 /KDWjcupNxjW2oSpAYRZ8a40LjRGgmUuXv5mPgNdRweERXY2OwPK6gis5ZF36ShClzFdnry8Bvur!LSWxUxdcgmvcgj7RXD/xep7ptaqXITN33ulQjLhl61Tazba0TIJU+Y2S33eoXflvezFTd5s=
MIME-Version: 1.0
NNTP-Posting-Date: Thu, 16 Dec 1999 15:30:28 GMT
Newsgroups: comp.lang.ada
Date: 1999-12-16T00:00:00+00:00
List-Id: <comp.lang.ada>

Pascal Obry wrote:
> 
> Chris Powell <chris.powell@rrds.co.uk> a �crit dans le message :
> 38566835.B4A2D48@rdel.co.uk...
> > Did the coding standard for the safety-critical software developed allow
> > full use of Ada 95 constructs? My experience of safety-critical software
> > is that while Ada is usually the chosen language, most of the Ada
> > language features are disallowed. I worked on one project where
> > constrained types were not allowed (because they are more likely to
> > raise exceptions than unconstrained types), no packages (because data
> > hiding limited testability) and certainly nothing as difficult to test
> > as inheritance/polymorphism could be used.
>
> No packages, is that a joke ??
[snip]

I don't think that the elimination of packages in safety critical
systems is not a general one.  I have worked on several such systems to,
both, European and US standards and have not come across this
restriction.   Perhaps, eliminating packages was a self imposed
restriction of the team that did the work ?

Certainly, data hiding limits the ability of automatic tools to analyse
the program which is why SPARK requires that you "expose" this data
using SPARK annotations.  However, even with SPARK you can use
packages.    So, again, I am not sure where the above restriction comes
from.

Rakesh