Re: Address and bit mask

[Martin <martin@thedowies.com>]

On Aug 29, 5:33 pm, milouz <a.micheli...@gmail.com> wrote:
> > To start with, check out package System.Storage_Elements. It at least
> > has To_Address/To_Integer subprograms.
>
> As far as I understand, your solution is to convert the address in
> address_integer, manipulating it, and then converting it in address.
> And all that stuff is because Address type is defined as private.
> Am I right ?
>
> > Size/range of addresses are rather target dependent, so I'm curious as
> > to what you wish to make 'portable'?...
>
> I mean a solution that works with the Address type without the need to
> redefine everything.

Maybe, without know what you actually want to do, it's hard to say.

I'd definitely be littering the code that did the manipulation with
all sorts of "pragma Assert"s. Things under System.* are, well, system
specific - the language makes no guarantee about the format of the
integer address (signed or modular?).

Perhaps you 'know' that 32-bit addresses are all you are ever going to
use - so you could Assert that knowledge. It'll come in handy the day
someone else decides to port it to a 64-bit cpu.

-- Martin