comp.lang.ada
 help / color / mirror / Atom feed
From: Luis Ladron de Guevara Moreno <luis33.lgm@gmail.com>
Subject: Re: Problem with Position of the enumeration Type
Date: Wed, 23 Jan 2019 04:08:32 -0800 (PST)
Date: 2019-01-23T04:08:32-08:00	[thread overview]
Message-ID: <217206e7-81aa-4aa8-8d19-66498c36100d@googlegroups.com> (raw)
In-Reply-To: <72fd7f46-21bb-45b9-9621-237bca776378@googlegroups.com>

El miércoles, 23 de enero de 2019, 11:33:36 (UTC+1), AdaMagica  escribió:
> See RM 13.4(11/3)ff:
> NOTES
> 14 Unchecked_Conversion may be used to query the internal codes used for
> an enumeration type. The attributes of the type, such as Succ, Pred, and Pos, are unaffected by the enumeration_representation_clauserepresentation_clause.
> 
> Some questions on your code:
> 
>   Position : Integer;  -- Why is this Integer and not Natural?
>    
>   for I in E_Test'Base loop  -- Why do you use 'Base here?

I wrote a Integer as an example, i could add Natural also, for this example there are not difference.

I'm using 'Range to go through all the positions in enumeration.

I tried to use Ada.Unchecked_Conversion and i got obtain the values for the position. but as you told me, if i use 'post (), the number of the list start in 0.

  parent reply	other threads:[~2019-01-23 12:08 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-01-23 10:05 Problem with Position of the enumeration Type Luis Ladron de Guevara Moreno
2019-01-23 10:33 ` AdaMagica
2019-01-23 10:55   ` AdaMagica
2019-01-23 12:08   ` Luis Ladron de Guevara Moreno [this message]
2019-01-23 12:15     ` Karl Müller
2019-01-23 21:50     ` Niklas Holsti
2019-01-24  8:06     ` AdaMagica
2019-01-23 11:32 ` Mark Lorenzen
2019-01-23 12:30   ` Luis Ladron de Guevara Moreno
2019-01-23 20:22     ` Shark8
2019-01-24  8:13       ` AdaMagica
2019-01-23 17:06 ` Simon Wright
2019-01-23 22:54   ` Randy Brukardt
2019-01-23 23:47     ` Keith Thompson
2019-01-24  4:34       ` Keith Thompson
2019-01-24  9:11         ` Simon Wright
2019-01-24 21:41       ` Randy Brukardt
2019-01-23 21:42 ` Niklas Holsti
2019-01-23 22:35   ` Simon Wright
2019-01-23 23:20     ` Niklas Holsti
2019-01-24 16:43     ` Jeffrey R. Carter
2019-01-24 19:39       ` Niklas Holsti
2019-01-24 20:29         ` Jeffrey R. Carter
2019-01-24 21:43         ` Randy Brukardt
2019-01-26  9:44   ` G.B.
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox