how to print position number of an enumeration variable?

how to print position number of an enumeration variable?

[mike]

hello,

suppose I have a variable of some enumeration type, and I want to
print or find the position number in the enumeration type that this
variable holds. How can do that?

for example:

-----------
with Ada.Text_Io; use Ada.Text_Io;

procedure Enum is
  type Day_type is (Monday, Tuesday, Wednesday, Thursday, 
                    Friday, Saturday, Sunday);

  Day Day_Type := Monday;

begin

   Put_Line("the position number of first enumeration elemenet is " & 
             Day_type'Image( ???? ) );

end Enum;

---------------

I know that the first enumeration literal will have a position of 0. But
I just wanted to see if one can print this value. I looked at the attributes
of scalar data types, and do not see something like S'pos ?

thanks,
mike

Re: how to print position number of an enumeration variable?

[DuckE]

Perhaps:
  Put_Line( "the position number of the first enumeration element is " &
                  Integer'Image( Day_Type'Pos( Day_Type'First ) ) );

SteveD

"mike@athome" <mike_member@newsguy.com> wrote in message
news:9p5rd30202n@drn.newsguy.com...
> hello,
>
> suppose I have a variable of some enumeration type, and I want to
> print or find the position number in the enumeration type that this
> variable holds. How can do that?
>
> for example:
>
> -----------
> with Ada.Text_Io; use Ada.Text_Io;
>
> procedure Enum is
>   type Day_type is (Monday, Tuesday, Wednesday, Thursday,
>                     Friday, Saturday, Sunday);
>
>   Day Day_Type := Monday;
>
> begin
>
>    Put_Line("the position number of first enumeration elemenet is " &
>              Day_type'Image( ???? ) );
>
> end Enum;
>
> ---------------
>
> I know that the first enumeration literal will have a position of 0. But
> I just wanted to see if one can print this value. I looked at the
attributes
> of scalar data types, and do not see something like S'pos ?
>
> thanks,
> mike
>

Re: how to print position number of an enumeration variable?

[mike]

In article <3uvt7.55862$QK.36794657@news1.sttln1.wa.home.com>, "DuckE" says...
>
>Perhaps:
>  Put_Line( "the position number of the first enumeration element is " &
>                  Integer'Image( Day_Type'Pos( Day_Type'First ) ) );
>
>SteveD
>
 
but 'pos is not listed as an attribute. I am looking at page 34-36 of the RM,
and I do not see such attribute for scalar types (that is why I asked), and enum
is scalar type.

strange. But thanks!

mike

Re: how to print position number of an enumeration variable?

[James Rogers]

"mike@nospam" wrote:
> 
> but 'pos is not listed as an attribute. I am looking at page 34-36 of the RM,
> and I do not see such attribute for scalar types (that is why I asked), and enum
> is scalar type.
> 
> strange. But thanks!


Look again. This time look at page 474 of the RM, in the summary of
Language Defined Attributes.

You will find the following:

S'Pos  For every discrete subtype S:
       
       S'Pos denotes a function with the following specification:
           function S'Pos(Arg : S'Base) return universal_integer

       This function returns the position number of the value Arg,
       as a value of type universal_integer. 

All enumeration types are discrete types.

Jim Rogers
Colorado Springs, Colorado USA

Re: how to print position number of an enumeration variable?

[Robert Dewar]

mike@nospam <mike_member@newsguy.com> wrote in message news:<9p6b3m02v4v@drn.newsguy.com>...
> In article <3uvt7.55862$QK.36794657@news1.sttln1.wa.home.com>, "DuckE" says...
> >
> >Perhaps:
> >  Put_Line( "the position number of the first enumeration element is " &
> >                  Integer'Image( Day_Type'Pos( Day_Type'First ) ) );
> >
> >SteveD
> >
>  
> but 'pos is not listed as an attribute. I am looking at page 34-36 of the RM,
> and I do not see such attribute for scalar types (that is why I asked), and enum
> is scalar type.
> 
> strange. But thanks!
> 
> mike

Yes, but 'Pos is not defined for all scalar types, so of
course you do not see it there, instead look for attributes
of discrete types and you will find it in RM 3.5.5.

But a little higher level advice, you definitely need to
improve your skills in finding things in the RM. Two
suggestions:

1. If you have a paper copy (or an electronic copy), use
the index. That is what it is there for! The index is quite
complete, and there is an entry for Pos that points to
3.5.5.

2. Get an electronic copy. There are HTML versions around,
but I prefer a straight ASCII version easily searched in
any editor, and then just search for Pos.

Re: how to print position number of an enumeration variable?

[Robert Dewar]

James Rogers <jimmaureenrogers@worldnet.att.net> wrote in message news:<3BB6BB75.D88EECE3@worldnet.att.net>...

> Look again. This time look at page 474 of the RM, in the 
> summary of Language Defined Attributes.
> 
Note that although this is a useful reference, this is not
part of the RM, i.e. it is not part of the normative part
of the RM, Annex K is merely informative. The proper
reference for the 'Pos attribute is 3.5.5 (there is nothing
in Annex K that is not elsewhere, Annex K is simply a useful
collecting of information available elsewhere -
actually it was my suggestion to add Annex K to the
standard :-)

Re: how to print position number of an enumeration variable?

[David Botton]

Another excellent version of the RM is the Window HTML Help version included
in AdaGIDE. It allows searching and then some.

David Botton

----- Original Message -----
From: "Robert Dewar" <dewar@gnat.com>
> 2. Get an electronic copy. There are HTML versions around,
> but I prefer a straight ASCII version easily searched in
> any editor, and then just search for Pos.

Re: how to print position number of an enumeration variable?

[Randy Brukardt]

"mike@nospam" wrote:
>
> but 'pos is not listed as an attribute. I am looking at page 34-36 of
the RM,
> and I do not see such attribute for scalar types (that is why I
asked), and enum
> is scalar type.
>
> strange. But thanks!


'Pos isn't defined for scalar types; it's only defined for discrete
types. (That is, it isn't defined for floats and fixed point types).
Look in 3.5.5 to find the normative definition of 'Pos.

            Randy.