Re: Safe Units Handling in Ada

[William C. Brennan <brennan@netaxs.com>]

On Wed, 22 May 2002 6:21:24 -0400, Fraser wrote
(in message <3CEB7124.4050604@blancolioni.org>):

> Fraser Wilson wrote:
>> After a recent discussion, I put together Macks, a small program that
>> generates Ada packages for dealing with physical units in a type safe
>> way.
> 

This units-generator package looks terrific.  I've been doing this stuff by hand
for too long.

Just one comment...

The generated example.ads yields:
...
   function "*"
     (Left  : Kilogram;
      Right : Kilogram)      -- This is good, we want it abstract.
     return Kilogram
   is abstract;


   function "/"
     (Left  : Kilogram;      -- We want this one abstract too.
      Right : Kilogram)
     return Kilogram
   is abstract;

Wouldn't it be also useful to define the operator:

   function "/"
     (Left  : Kilogram;
      Right : Kilogram) 
     return Float_Type;

(where Float_Type is used throughout as a unitless scalar)?



-- 
Bill Brennan
brennan@netaxs.com