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-7-bit
X-Google-Thread: 103376,f70e7a457bf23e69
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Optimizing and Constraint Checks
Date: 1995/04/04
Message-ID: <3ls6fu$noq@gnat.cs.nyu.edu>#1/1
X-Deja-AN: 100815588
references: <edward-2303951004270001@r-618macip27.hac.com>
 <3kv990$o7d@butch.lmsc.lockheed.com> <3l3l2v$ria@gnat.cs.nyu.edu>
 <edward-2903951038050001@r-618macip27.hac.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1995-04-04T00:00:00+00:00
List-Id: <comp.lang.ada>

Obviously if you want to write enumeration values out to a database and
read them into a completely different enumeration type where the only
guarantee is that the names correspond, then there is no choice but
to use 'Image and 'Value.

Grumbling about efficiency is irrelevant, if you have stated the problem
in such a way that it is tautalogically obvious that 'Image and 'Value is
the only possible approach, then you can't discuss whether this is an
acceptable solution!