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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!gnilink.net!trndny09.POSTED!c2bfcbcf!not-for-mail
Subject: Re: [OT] Re: Teaching new tricks to an old dog (C++ -->Ada)
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
 <871xau9nlh.fsf@insalien.org>
 <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
 <87r7iu85lf.fsf@insalien.org> <1110052142.832650@athnrd02>
 <42309456$1@news.broadpark.no> <ow2Yd.21162$7U5.4617@fe04.lga>
 <opsnfw9nx75afhvo@localhost> <d0qiah$ep71@cui1.lmms.lmco.com>
 <pan.2005.03.11.18.01.45.684764@linuxchip.demon.co.uk.uk.uk>
 <1110569032.207770@athnrd02> <d0st28$ep65@cui1.lmms.lmco.com>
 <1110607809.837000@athnrd02> <1110608948.651588@athnrd02>
 <1110609321.686344@athnrd02> <V4BYd.89118$H05.42532@twister.nyroc.rr.com>
 <1136ao15lb0go9c@corp.supernews.com>
From: "Ed Falis" <falis@verizon.net>
Content-Type: text/plain; format=flowed; delsp=yes; charset=us-ascii
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Message-ID: <opsnjf0vgj5afhvo@localhost>
User-Agent: Opera M2(BETA1)/8.00 (Linux, build 913)
Date: Sat, 12 Mar 2005 18:53:48 GMT
NNTP-Posting-Host: 70.19.208.151
X-Complaints-To: abuse@verizon.net
X-Trace: trndny09 1110653628 70.19.208.151 (Sat, 12 Mar 2005 13:53:48 EST)
NNTP-Posting-Date: Sat, 12 Mar 2005 13:53:48 EST
Xref: g2news1.google.com comp.lang.ada:9246 comp.lang.c++:45318
 comp.realtime:1379 comp.software-eng:4942
Date: 2005-03-12T18:53:48+00:00
List-Id: <comp.lang.ada>

On Sat, 12 Mar 2005 12:46:11 -0500, CTips <ctips@bestweb.net> wrote:

> For example, look at the Ada equivalent of the following code.
>    typedef enum {0, 1, 2, 3} four_val;
>    four_val x;
>     x = (four_val) some_int;
>    ....
>    assert( x < 4);


    type Four_Val is range 0 .. 3;
    X : Four_Val;
begin
    X := Four_Val (Some_Int);
    ...
    pragma Assert (X < 4, "Something is seriously honked here");
    --  Currently supported by GNAT; part of Ada 2005
    --  Or write your own subprogram in Ada 95 as I did for AUnit
    Do_Something_With (X);

Sounds to me as though you just like to argue, because this one was pretty  
silly.

- Ed