Re: A Problem With Access Types

[jesup@steinmetz.steinmetz.UUCP (Randell Jesup)]

In article <8704081652.AA09954@skl-crc.ARPA> bradford@SKL-CRC.ARPA (Bob Bradford) writes:
>I am writing a program which manipulates a large, complex data structure.
>The data structure consists of many embedded records and arrays
>of records. I wish to have a procedure update a particular record within
...
>     type A_REC is
>       record
>          ...
>       end;
>
>     type A_ACCESS is access A_REC;
>
>     A : A_REC;
>     A_A : A_ACCESS;
>
>     begin
>         ...
>         A_A := A;  -- Also tried  A_A := A_ACCESS(A);
>         UPDATE(A_A);
>         ...
>     end;
...  [Vax ada doesn't like it, nor does the LRM]
>Bob Bradford

They doen't like for one reason: A (which is of type A_REC) is a declared
object, not an allocated one.  An access variable cannot refer to anything that
was not created by an allocator, and therefor cannot be set to point to
your static variable (A).

The way to make it work is to make something like this:

type A_REC is
  record
    ...
  end record;

type A_ACCESS is access A_REC;

A : A_ACCESS;  -- Note!

A_A : A_ACCESS;

begin
  ...
  A := new A_REC...
  ...
  A_A := A;
  UPDATE(A_A);
  ...
end

	Randell Jesup
	jesup@steinmetz.uucp
	jesup@ge-crd.arpa