From: Niklas Holsti <nholsti@icon.fi>
Subject: Re: Simple Real_Time.Time_Span question
Date: 1998/10/14
Date: 1998-10-14T00:00:00+00:00 [thread overview]
Message-ID: <3624E1DC.B083F43A@icon.fi> (raw)
In-Reply-To: 700ic6$q1p$1@nnrp1.dejanews.com
dennison@telepath.com wrote:
>
> I need to convert values of Ada.Real_Time.Time_Span into floating point
> values for use in time-based simulation calculations. I'd think there *has*
> to be a way to do this, but I don't see one. All I see is the ability to do
> it indirectly via a conversion to Duration. But that looses the extra
> accuracy of Time_Span, which was the whole point of using it in the first
> place.
[ snip ]
>
> Thus a package billed as "Real_Time" ought to provide a portable way to get
> a floating point value of a delta time (time_span). Where is it?
How about taking your Time_Span value, dividing it with Time_Span_Unit
to get an integer, then multiplying with Time_Span to get a real number?
The items Time_Span_Unit, "/" and Time_Span are defined in
Ada.Real_Time.
I haven't tried it, but the LRM seems clear on this.
Niklas Holsti
next prev parent reply other threads:[~1998-10-14 0:00 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-10-13 0:00 Simple Real_Time.Time_Span question dennison
1998-10-13 0:00 ` David C. Hoos, Sr.
1998-10-13 0:00 ` dennison
1998-10-14 0:00 ` Niklas Holsti [this message]
1998-10-14 0:00 ` Niklas Holsti
1998-10-14 0:00 ` Robert I. Eachus
1998-10-14 0:00 ` Keith Thompson
1998-10-14 0:00 ` Jonathan Guthrie
1998-10-15 0:00 ` dennison
1998-10-16 0:00 ` Tucker Taft
1998-10-16 0:00 ` dennison
1998-10-16 0:00 ` dewar
1998-10-17 0:00 ` Niklas Holsti
1998-10-13 0:00 ` dennison
1998-10-13 0:00 ` Tucker Taft
1998-10-14 0:00 ` dewar
1998-10-14 0:00 ` dennison
1998-10-14 0:00 ` Robert I. Eachus
1998-10-15 0:00 ` dennison
1998-10-16 0:00 ` Robert I. Eachus
1998-10-14 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox