Re: Generating Java Bytecode

gvreugde@uwaterloo.ca (Gord Vreugdenhil) writes:


> Joe Hummel <jhummel@crispix.ICS.UCI.EDU> writes:
>
> > I would imagine that Ada does support something like:
> >
> > p = (void *) 0x0080001F;
...
> Not quite the same thing, but you can say things like:
>
> for p use at 16#0080001F#;
>
> the above. Ada does require that the "at" expressions do not
> overlap with either a name or another "at"; ie. the "at" cannot
> create an alias. (ARM '83, 13.5)


This has changed for Ada95. The expression is now given by an
attribute clause:


      for P'Address use <exp>;


where exp is any address expression. For the absolute memory
specification given above you would use
System.Storage_Elements.To_Address on the constant. For example,


      The_Address : Integer_Address := 16#0080001F#;
      for P'Address use To_Address(The_Address);


Also, the "aliasing" restrictions have been "downgraded" to a "bounded
error" or otherwise removed.


/Jon
--
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com
--

Return to the comp.compilers page.
Search the comp.compilers archives again.