Conditional types?

[Caffeine Junky <nospam@hotmail.com>]

I've been trying to figure out if theres a way in Ada(or any other
language for that matter) to test if data is of a certain type without
going into low level bit fiddling and Assembler instructions.

i.e. Hypothetical situation...

You're recieving data through a function call or a procedure of some
sort, but the source for some reason does not indicate explicitly what
type of data it is. However, since you do have some limited knowledge of
the system you can safely assume it's passing either a float, an integer,
or an unsigned 32 bit integer. Is there a way do this in Ada ...

procedure get(bar : in undefined) -- Note that this does not return or
						  -- output any data
	if datatype(bar) is unsigned_32 then
		declare
	 	 foo : Unsigned_32 := bar;
		begin
			-- process data here
		end;
	else if datatype(bar) is Integer then
		declare
		  foo : Integer := bar;
		begin
			-- process data here
		end;
	else if datatype(bar) is float then
		declare
		 foo : float := bar;
		begin
			-- process data here
		end;
	end if;

end get;

Any tips?

Caffiene Junky