From: edward@igate1.hac.com (Ed Bruce)
Subject: Re: Optimizing and Constraint Checks
Date: 1995/03/29
Date: 1995-03-29T00:00:00+00:00 [thread overview]
Message-ID: <edward-2903950939000001@r-618macip27.hac.com> (raw)
In-Reply-To: 3kuhpo$ban@theopolis.orl.mmc.com
In article <3kuhpo$ban@theopolis.orl.mmc.com>, Theodore Dennison
<dennison@escmail.orl.mmc.com> wrote:
> Your engineer has a vaild concern. One of the problems with Ada 83 is that
> there is no PORTABLE way to force a constraint check. In practice, you have
> to find what your compiler won't optimize away, and code to that.
> Unfortunately, the next version of the same compiler could work differently.
>
I have suggested that we use 'IMAGE and 'VALUE with enumeration types that
are stored in the database. First I believe this to be more portable and
likely to guarantee constraint checking will be performed in all validated
compilers. Second it is more likely to catch illegal values in the
database when we change enumeration_literals and fail to update the
database correctly(maintenace issue).
Your last sentence is the crux of the problem. Change vs. stability.
Today's solution is tomorrow's problem.
--
Ed Bruce
edward@igate1.hac.com
next prev parent reply other threads:[~1995-03-29 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-23 16:04 Optimizing and Constraint Checks Ed Bruce
1995-03-24 13:34 ` Theodore Dennison
1995-03-25 18:09 ` David Wheeler
1995-03-29 0:00 ` Ed Bruce [this message]
1995-03-24 20:15 ` Garlington KE
1995-03-26 12:01 ` Robert Dewar
1995-03-27 16:58 ` Garlington KE
1995-03-29 0:00 ` Ed Bruce
1995-03-29 0:00 ` Garlington KE
1995-03-30 0:00 ` Mike Meier
1995-04-04 0:00 ` Robert Dewar
1995-03-25 17:51 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox