From: Martin <martin@thedowies.com>
Subject: Re: fixed point vs floating point
Date: Thu, 29 Sep 2011 06:38:04 -0700 (PDT)
Date: 2011-09-29T06:38:04-07:00 [thread overview]
Message-ID: <6fd87b99-e9d4-44c0-9dc5-9c842ed7e9d7@u13g2000vbx.googlegroups.com> (raw)
In-Reply-To: d3c2b1c5-28d6-48ce-aa9e-e02fa4d6eaa0@k10g2000vbn.googlegroups.com
On Sep 29, 11:49 am, AdaMagica <christ-usch.gr...@t-online.de> wrote:
> Unfortunately, fixed and floating point are separate categories of
> real types, so there is no generic formal that can serve both.
>
> You have to make the type private and supply all numeric operations
> like this:
>
> generic
> type Real is private;
> with function "+" (Left, right: Real) return Real;
> ...
> package Numerics is
Is there a means of determining that 'Real' isn't an integer type?...I
can't think of one...other than using ASIS.
Could AdaControl spot this?
-- Martin
next prev parent reply other threads:[~2011-09-29 13:38 UTC|newest]
Thread overview: 64+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-09-29 10:25 fixed point vs floating point RasikaSrinivasan@gmail.com
2011-09-29 10:49 ` AdaMagica
2011-09-29 13:38 ` Martin [this message]
2011-09-30 10:17 ` Stephen Leake
2011-09-30 16:25 ` tmoran
2011-09-30 16:52 ` Dmitry A. Kazakov
2011-10-01 11:09 ` Stephen Leake
2011-09-30 19:26 ` tmoran
2011-09-30 22:31 ` tmoran
2011-10-01 13:37 ` RasikaSrinivasan@gmail.com
2011-10-02 14:19 ` Stephen Leake
-- strict thread matches above, loose matches on Subject: below --
1997-12-02 0:00 Robert Dewar
1997-12-02 0:00 ` Joe Gwinn
1997-12-02 0:00 ` Ken Garlington
1997-12-03 0:00 ` Joe Gwinn
1997-12-04 0:00 ` Robert Dewar
1997-12-04 0:00 ` Shmuel (Seymour J.) Metz
1997-12-02 0:00 ` Robert Dewar
1997-12-02 0:00 ` Matthew Heaney
1997-12-03 0:00 ` Robert Dewar
1997-12-03 0:00 ` Shmuel (Seymour J.) Metz
1997-12-03 0:00 ` Robert Dewar
1997-12-03 0:00 ` Robert Dewar
1997-12-03 0:00 ` Matthew Heaney
1997-12-04 0:00 ` Shmuel (Seymour J.) Metz
1997-12-04 0:00 ` Robert Dewar
1997-12-03 0:00 ` robin
1997-12-03 0:00 ` Robert Dewar
1997-12-03 0:00 ` robin
1997-11-28 0:00 tmoran
1997-11-28 0:00 ` Robert Dewar
1997-11-27 0:00 tmoran
1997-11-27 0:00 ` Robert Dewar
1997-11-29 0:00 ` Tarjei T. Jensen
1997-11-22 0:00 Matthew Heaney
1997-11-22 0:00 ` Tucker Taft
1997-11-22 0:00 ` Robert Dewar
1997-11-22 0:00 ` Matthew Heaney
1997-11-23 0:00 ` Geert Bosch
1997-11-23 0:00 ` Matthew Heaney
1997-11-23 0:00 ` Robert Dewar
1997-11-24 0:00 ` Herman Rubin
1997-11-24 0:00 ` Robert Dewar
1997-11-25 0:00 ` Joe Gwinn
1997-11-25 0:00 ` Robert Dewar
1997-11-25 0:00 ` Joe Gwinn
1997-11-25 0:00 ` Robert Dewar
1997-11-26 0:00 ` Joe Gwinn
1997-11-26 0:00 ` Robert Dewar
1997-12-01 0:00 ` Joe Gwinn
1997-12-01 0:00 ` Robert Dewar
1997-12-01 0:00 ` Joe Gwinn
1997-12-03 0:00 ` robin
1997-11-25 0:00 ` Matthew Heaney
1997-11-26 0:00 ` William A Whitaker
1997-11-24 0:00 ` Geert Bosch
1997-11-23 0:00 ` Tom Moran
1997-11-25 0:00 ` John A. Limpert
1997-11-25 0:00 ` Robert Dewar
1997-11-25 0:00 ` Robert Dewar
1997-11-24 0:00 ` Vince Del Vecchio
1997-11-24 0:00 ` Vince Del Vecchio
1997-12-03 0:00 ` robin
[not found] <9711221603.AA03295@nile.gnat.com>
1997-11-22 0:00 ` Ken Garlington
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox