Re: Enumerations

[simonson@beaver.cs.washington.edu (Kevin Simonson)]

     In article <1992Sep17.222636.4782@aio.jsc.nasa.gov>
davenpor@sweetpea.jsc.nasa.gov (Darren Davenport 283-4173) writes:

=In article <9209162110.AA21397@efftoo.boeing.com>, crispen@efftoo.boeing.com
=(crispen) writes:
...
=|> But what I'd like to know is, does anyone know of an Ada compiler
=|> which does not give a machine value of zero for the first element of
=|> an enumeration, one for the second, and so on?
=|> 
=|> Just idle curiosity, actually, since it came up in the context of a
=|> document I'm writing that's going to say, "Use rep specs for interface
=|> objects and don't trust different compilers to do the same thing".
...
=You do not need to write that in your document because:
=
="The position number of the value of the first listed enumeration literal is
=zero" LRM 3.5.1(4). 

     I was of the impression that the "position number" 3.5.1(4) referred
to was the value returned by the "'pos" attribute, and that that value
could be very different from the "machine value" that Crispen seems to be
talking about.  I'm not convinced we've found an answer to his question
yet.

                                     ---Kevin Simonson