comp.lang.ada
 help / color / mirror / Atom feed
From: Marius Amado-Alves <marius@amado-alves.info>
To: comp.lang.ada@ada-france.org
Subject: Re: How do you bitwise operations in Ada '83 and '95
Date: Thu, 20 Jul 2006 19:30:31 +0100
Date: 2006-07-20T20:35:45+02:00	[thread overview]
Message-ID: <mailman.41.1153420245.30988.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <Yfmdnf19WIzZXiLZnZ2dnUVZ_sCdnZ2d@comcast.com>


>> To me bit shifting is a positional thing. Surely positions differ
>    And why is it again that you want to DIY instead of using a  
> record...

I need dates in a 64-bit string. Calendar_64 does just that.

Why I need dates in a 64-bit string? Short version of a long story:  
to store then in Mneson vertices as 64-bit integers.

Why I use a modular type instead of a record with rep. clauses? More  
practical. (And I think safer, I think rec. rep. clauses are not as  
strongly required by the RM to be met by the implementation, which is  
yes very strange, but that's the reading of the RM I have, maybe I am  
wrong.) On the practical side, I particularly like that the  
predefined binary relations for the modular Time type can be used as is.





  reply	other threads:[~2006-07-20 18:30 UTC|newest]

Thread overview: 51+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <8B57A49E-38E9-44DC-9B4A-A3F69E058A97@amado-alves.info>
2006-07-20  9:39 ` Fwd: How do you bitwise operations in Ada '83 and '95 Marius Amado-Alves
2006-07-20 17:54   ` tmoran
2006-07-20 18:30     ` Marius Amado-Alves [this message]
2006-07-20 19:36       ` tmoran
2006-07-20 22:09         ` Simon Wright
2006-07-21 10:07           ` Stephen Leake
2006-07-21 19:09             ` Simon Wright
2006-07-21 19:45               ` tmoran
2006-07-23 15:59               ` Stephen Leake
2006-07-24  6:08                 ` Simon Wright
     [not found] <CD6E3BB8-52D2-4EED-A790-0184FE56A99A@amado-alves.info>
2006-07-20 20:41 ` Marius Amado-Alves
2006-07-20 23:13   ` Randy Brukardt
2006-07-21  5:38     ` Marius Amado-Alves
2006-07-21 22:09       ` Randy Brukardt
     [not found] <BFF12262-F906-4F9A-B867-D0373609F038@amado-alves.info>
2006-07-20 16:40 ` Marius Amado-Alves
     [not found] <9315684D-C216-4EDA-8852-0A6BD4C275B0@amado-alves.info>
2006-07-19 22:30 ` Marius Amado-Alves
2006-07-20  7:40   ` Georg Bauhaus
2006-07-20  9:29     ` Colin Paul Gloster
2006-07-20 12:31       ` Georg Bauhaus
2006-07-20 13:08         ` Colin Paul Gloster
2006-07-20 13:29           ` Marius Amado-Alves
2006-07-20 13:49           ` Georg Bauhaus
2006-07-21  5:23             ` Colin Paul Gloster
2006-07-21  8:00               ` Georg Bauhaus
2006-07-20  9:03   ` Stephen Leake
2006-07-20  9:38     ` Marius Amado-Alves
2006-07-21  9:53       ` Stephen Leake
2006-07-20 11:31     ` Dmitry A. Kazakov
2006-07-20 13:18       ` Marius Amado-Alves
2006-07-21  9:58       ` Stephen Leake
2006-07-21 12:09         ` Dmitry A. Kazakov
2006-07-21 19:03           ` Simon Wright
2006-07-22  8:32             ` Dmitry A. Kazakov
2006-07-22  8:57               ` Simon Wright
2006-07-22 10:52               ` Georg Bauhaus
2006-07-22 13:31                 ` Dmitry A. Kazakov
     [not found] <1153244316.853254.291560@m79g2000cwm.googlegroups.com>
2006-07-18 18:45 ` Robert A Duff
2006-07-18 18:53 ` jimmaureenrogers
2006-07-18 19:22   ` Jeffrey R. Carter
2006-07-18 21:32     ` jimmaureenrogers
2006-07-19  0:40       ` Jeffrey R. Carter
2006-07-19  3:55         ` jimmaureenrogers
2006-07-19  4:37           ` Jeffrey R. Carter
2006-07-19 13:05             ` jimmaureenrogers
2006-07-19 19:43               ` Jeffrey R. Carter
     [not found]             ` <1153313832.389434.144930@s13g2000cwa.googlegroups.com>
2006-07-19 13:55               ` Georg Bauhaus
2006-07-19 14:20               ` Robert A Duff
2006-07-19 19:30               ` Jeffrey R. Carter
2006-07-19 14:41             ` Robert A Duff
2006-07-18 19:21 ` Jeffrey R. Carter
2006-07-19  3:01 ` tmoran
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox