From: Christoph Grein <christoph.grein@eurocopter.com>
Subject: Re: Refactoring and Ada
Date: Wed, 20 Feb 2002 07:19:41 +0100 (MET)
Date: 2002-02-20T07:19:41+01:00 [thread overview]
Message-ID: <mailman.1014186062.20211.comp.lang.ada@ada.eu.org> (raw)
> > It turns out that 'Valid is not as useful as many of us thought it was. For
> > example, the result of an erroneous result from unchecked conversion,
> > which we originally thought was harmless if we checked it ourselves
> > with 'Valid before using it is a problem. Consider the following,
> >
> > type X is ... ;
> > type Y is ... ;
> >
> > function Convert is new Ada.Unchecked_Conversion
> > (Source => Y, Target => X);
> >
> > X := Convert (Y); -- suppose X is erroneous or not valid
> > if X'Valid then ... -- We used to think this was OK.
> > -- Some compilers fail on
this because of an
> > interpretation
> > -- of the ALRM rules.
> >
> > At present, one must wonder about the usefulness of 'Valid.
>
> There is an AI with a binding interpretation that was included in the
> TC that says that at least for scalar types the above code is
> not errorious and must work as expected.
>
> SO any compiler that fail on the above are non-compliant.
I've got the AARM with COR.1:2000 in front of me. There are no changes in 13.9,
13.9.1, 13.9.2.
Thus a compiler failing to handle the above correctly has always been buggy.
Note that 'Valid exists for scalar objects only.
next reply other threads:[~2002-02-20 6:19 UTC|newest]
Thread overview: 70+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-20 6:19 Christoph Grein [this message]
2002-02-20 17:52 ` Valid for composite (was Re: Refactoring and Ada) kumano
-- strict thread matches above, loose matches on Subject: below --
2002-02-07 11:26 Refactoring and Ada Christoph Grein
2002-02-07 18:31 ` Dr. Michael Paus
2002-02-08 12:45 ` Robert Dewar
2002-02-08 17:20 ` Dr. Michael Paus
2002-02-05 6:15 Christoph Grein
2002-02-01 15:13 Paul Anderson
2002-02-02 17:48 ` Nick Roberts
2002-02-02 20:36 ` Pat Rogers
2002-02-03 0:21 ` Nick Roberts
2002-02-03 13:53 ` Robert Dewar
2002-02-03 19:23 ` Nick Roberts
2002-02-04 2:17 ` Robert Dewar
2002-02-04 20:48 ` Nick Roberts
2002-02-04 22:31 ` Pat Rogers
2002-02-04 22:43 ` Marin David Condic
2002-02-06 2:51 ` Nick Roberts
2002-02-03 18:50 ` Simon Wright
2002-02-04 4:32 ` Richard Riehle
2002-02-04 12:28 ` David C. Hoos, Sr.
2002-02-04 17:03 ` Richard Riehle
2002-02-06 17:19 ` Robert A Duff
2002-02-04 17:59 ` Robert Dewar
2002-02-04 18:50 ` Pascal Obry
2002-02-05 1:07 ` Robert Dewar
2002-02-05 1:44 ` Richard Riehle
2002-02-06 17:42 ` Robert A Duff
2002-02-06 17:32 ` Robert A Duff
2002-02-07 8:45 ` Dr. Michael Paus
2002-02-07 13:54 ` Pat Rogers
2002-02-03 13:48 ` Robert Dewar
2002-02-03 19:38 ` Nick Roberts
2002-02-04 2:20 ` Robert Dewar
2002-02-08 21:21 ` Paul Anderson
2002-02-03 9:45 ` Volkert
2002-02-08 9:24 ` Martin Dowie
2002-02-08 15:15 ` Ted Dennison
2002-02-08 15:52 ` Pat Rogers
2002-02-08 16:06 ` martin.m.dowie
2002-02-08 17:07 ` Pat Rogers
2002-02-09 19:48 ` martin.m.dowie
2002-02-09 23:05 ` Pat Rogers
2002-02-10 1:30 ` Marc A. Criley
2002-02-10 2:58 ` tmoran
2002-02-11 15:27 ` Marin David Condic
2002-02-12 19:16 ` Simon Wright
2002-02-15 19:43 ` Marin David Condic
2002-02-15 20:33 ` Matthew Heaney
2002-02-15 21:40 ` Larry Kilgallen
2002-02-19 16:54 ` Matthew Heaney
2002-02-19 19:39 ` Larry Kilgallen
2002-02-20 4:23 ` Richard Riehle
2002-02-20 5:20 ` Mark Biggar
2002-02-20 9:58 ` Pat Rogers
2002-02-20 17:14 ` Matthew Heaney
2002-02-20 17:18 ` Pat Rogers
2002-02-20 18:08 ` Matthew Heaney
2002-02-20 22:12 ` Pat Rogers
2002-02-23 22:48 ` Robert Dewar
2002-02-21 0:41 ` Randy Brukardt
2002-02-21 1:31 ` Pat Rogers
2002-02-22 14:37 ` Pat Rogers
2002-02-22 21:23 ` Randy Brukardt
2002-02-23 23:04 ` Robert Dewar
2002-02-25 20:26 ` Randy Brukardt
2002-02-23 23:21 ` Robert Dewar
2002-02-23 22:58 ` Robert Dewar
2002-02-23 22:55 ` Robert Dewar
2002-02-26 1:05 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox