From: Reinert Korsnes <Reinert.Korsnes@ffi.no>
Subject: Re: (elementary question) Test on type ?
Date: Tue, 4 Sep 2001 11:29:12 +0200
Date: 2001-09-04T11:29:12+02:00 [thread overview]
Message-ID: <9n279a$1ua$1@snipp.uninett.no> (raw)
In-Reply-To: mailman.999595084.5822.comp.lang.ada@ada.eu.org
David C. Hoos, Sr. wrote:
> You would say instead:
>
> if X in Integer then
I get error message "incompatible types".....
reinert
>
> See section 4.5.2 of the Ada Language Reference Manual.
>
> ----- Original Message -----
> From: "Reinert Korsnes" <Reinert.Korsnes@ffi.no>
> Newsgroups: comp.lang.ada
> To: <comp.lang.ada@ada.eu.org>
> Sent: September 04, 2001 3:41 AM
> Subject: (elementary question) Test on type ?
>
>
> Hi,
>
> is it possible in Ada to test on type ? (did not manage to find out)
>
>
> Assume:
>
>
> -- specification :
> generic
> type T is (<>);
> function F(X : T) return Float;
>
> --body :
>
> function F(X : T) return Float is
> begin
>
> if Type(X) = Integer then ??????
> something...
>
> I := integer(X) ????
>
>
> end;
>
> --application prog:
>
> function F1 is new F(T => Integer);
>
>
> reinert
>
--
http://home.chello.no/~rkorsnes
next prev parent reply other threads:[~2001-09-04 9:29 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-09-04 8:41 (elementary question) Test on type ? Reinert Korsnes
2001-09-04 9:18 ` David C. Hoos, Sr.
2001-09-04 9:29 ` Reinert Korsnes [this message]
2001-09-04 11:02 ` Jacob Sparre Andersen
2001-09-04 11:05 ` Reinert Korsnes
2001-09-04 11:39 ` John McCabe
2001-09-04 13:30 ` Marin David Condic
2001-09-04 14:07 ` Ted Dennison
2001-09-04 14:48 ` Marin David Condic
2001-09-04 18:35 ` Mark Biggar
2001-09-04 19:33 ` Marin David Condic
2001-09-04 14:15 ` Ted Dennison
2001-09-05 9:14 ` John McCabe
2001-09-05 14:19 ` Ted Dennison
2001-09-05 16:24 ` John McCabe
2001-09-05 18:33 ` Ehud Lamm
2001-09-06 9:36 ` Reinert Korsnes
2001-09-06 17:10 ` (elementary question) Test on type ? Pragma inline(granularity)? Warren W. Gay VE3WWG
-- strict thread matches above, loose matches on Subject: below --
2001-09-04 17:55 (elementary question) Test on type ? Beard, Frank
2001-09-05 9:16 ` John McCabe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox