From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!husc6!necntc!adelie!mirror!ishmael!inmet!callen
From: callen@inmet.UUCP
Newsgroups: comp.lang.ada
Subject: Re: A Problem With Access Types
Message-ID: <124000003@inmet>
Date: Fri, 10-Apr-87 14:42:00 EST
Article-I.D.: inmet.124000003
Posted: Fri Apr 10 14:42:00 1987
Date-Received: Sun, 12-Apr-87 02:11:52 EST
References: <9954@skl-crc.ARPA>
Nf-ID: #R:skl-crc.ARPA:-995400:inmet:124000003:000:638
Nf-From: inmet.UUCP!callen    Apr 10 14:42:00 1987
List-Id: <comp.lang.ada>


Try something like this (but be forewarned that the code is not necessarily
going to be portable):

with Unchecked_Conversion;
with System;
...
     type A_REC is
       record
          ...
       end;

     type A_ACCESS is access A_REC;

     function Make_Pointer is new Unchecked_Conversion(
       SOURCE=>System.Address, TARGET=>A_ACCESS);

     A : A_REC;
     A_A : A_ACCESS;

     begin
         ...
         A_A := Make_Pointer(A'Address);  
         UPDATE(A_A);
         ...
     end;

-- Jerry Callen
   Intermetrics, Inc.
   733 Concord Ave.
   Cambridge, MA 01238
   (617) 661-1840

   ...{ihnp4,ima}!inmet!ada-uts!callen