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.9 required=5.0 tests=BAYES_00,XPRIO autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,99f33f51845a7793,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-02 02:19:49 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!skynet.be!skynet.be!bnewspeer01.bru.ops.eu.uu.net!bnewsifeed03.bru.ops.eu.uu.net!bnewspost00.bru.ops.eu.uu.net!emea.uu.net!not-for-mail From: "David Crocker" Newsgroups: comp.lang.ada Subject: 'withing' problem Date: Fri, 2 Nov 2001 10:24:09 -0000 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2919.6600 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 Message-ID: <3be27344$0$227$ed9e5944@reading.news.pipex.net> NNTP-Posting-Host: andrew.imsltd.com X-Trace: 1004696388 reading.news.pipex.net 227 194.202.27.87 X-Complaints-To: abuse@uk.uu.net Xref: archiver1.google.com comp.lang.ada:15625 Date: 2001-11-02T10:24:09+00:00 List-Id: Are there any commercial compilers with language extensions to work around the infamous "withing" problem? We have a tool that generates (currently) C++ or Java code from precise specifications and we would very much like to generate Ada95 as well so we can better target safety-critical applications. But because our tool encourages an object-oriented style, any attempt at code geenration in Ada usually falls foul of the withing-problem very quickly (we can't even compile the runtime library without hitting the problem). I am aware of the woraround described at http://home.bluemarble.net/~jvolan/WithingProblem/FAQ.html but I doubt this would be acceptable in a safety-critical application. I am also aware that GNAT implements a workaround, but what we really need is a validated compiler. I heard that the next update to the Ada language circa 2005 will address the problem, but this is too far away to be any consolation. Surely we can't be the only company that needs the problem fixed urgently? How do the developers of large military software systems manage? Regards David Crocker, Escher Technologies (www.eschertech.com)