Re: Type detection

["Robert I. Eachus" <rieachus@comcast.net>]

James Rogers wrote:

> The problem with all these tests is an assumption that there is one
> integer type. None of these tests can distinguish from various 
> integer types. They are only approximately good for determining 
> whether a type is an enumeration type or has a value within the
> range of Standard.Integer. In Ada this is not even close to type
> identification. This is merely distinguishing between enumeration
> and non-enumeration discrete types.

No, the tests are independent of the number of integer types, 'Pos 
returns a universal_integer value, so all the comparisons use that type. 
If somehow you had an enumeration type with more values than 
Standard.Integer'Last, the code would still work fine.

As to your other point, I thought that was the object, to determine 
which (sub)CLASS of types a generic formal belonged to, when the generic 
used (<>);

-- 

                                           Robert I. Eachus

"The terrorist enemy holds no territory, defends no population, is 
unconstrained by rules of warfare, and respects no law of morality. Such 
an enemy cannot be deterred, contained, appeased or negotiated with. It 
can only be destroyed--and that, ladies and gentlemen, is the business 
at hand."  -- Dick Cheney