Re: enumeration type

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
:> If you don't dislike writing down what you want to say,
:> you can use qualified notation:


:>    if b = Boolean'(True) and v = Ternary_Logical'(True) then

: What for?

Rick asked,
"How can I now access the True-element from the original Standard.Boolean
type?"

Then, sometimes it is not necessary to stress that v is of type
Ternary_Logical or b of type Boolean, or to mention True at all
as in Peter Hermann's example. Sometimes added qualification
helps (me) understanding the software if there is some redundant
type information, because it reduces the need to look at context.

For example, if your function returns a value of record type Foo,
you could write

   return (bar => 7, baz => comp_result);

or
   return Foo'(bar => 7,
               baz => comp_result);  (*)

or 
   return (7, comp_result);		(**)

or
   return Foo'(7, comp_result);

In cases ** is just fine for me, in other cases I like * because
it unambiguously tells me, the reader, what is returned.

Aggregates must be qualified in SPARK, iirc.


-- Georg