Re: How do you bitwise operations in Ada '83 and '95

[Georg Bauhaus <bauhaus@futureapps.de>]

Colin Paul Gloster wrote:
> On Thu, 20 Jul 2006, Georg Bauhaus wrote:


> type Time is new Unsigned_96;
> 
> In fact,
>   type Time is private;
> and then the above."
> 
> No, actually you need a subtype for your example but I accept your point 
> is still valid.

The Time type derived from Unsigned_96 will be a dedicated type with
bit fiddling operations. I won't want to assign arbitrary base type
values to Time objects?

procedure Derived_Type_Instead_Of_Subtype is
    type Time is new Unsigned_96;

    V1 : Time;
    V2 : Time;
    V3 : Unsigned_96;
 begin
    V1 := Shift_Left(7, First_Bit_Year);
    V2 := V1;
    -- V3 := V2;  -- does not compile, good
 end;

Anyway, I see a razor blade coming close to hair.


-- Georg