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=2.3 required=5.0 tests=BAYES_20,INVALID_DATE,
	UNRESOLVED_TEMPLATE autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,71f9c948bec0bcad,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-12 13:58:56 PST
Path: 
 bga.com!news.sprintlink.net!malgudi.oar.net!news.ysu.edu!psuvm!auvm!EUROCONTROL.DE!wel
Comments: Gated by NETNEWS@AUVM.AMERICAN.EDU
Newsgroups: comp.lang.ada
Message-ID: <9410121737.AA28756@eurocontrol.de>
Date: Wed, 12 Oct 1994 18:37:08 +0100
Sender: Ada programming language <INFO-ADA@NDSUVM1.BITNET>
From: Bob Wells #402 <wel@EUROCONTROL.DE>
Subject: "Common" data
Comments: To: INFO-ADA%NDSUVM1.BITNET@vm.gmd.de
Date: 1994-10-12T18:37:08+01:00
List-Id: <comp.lang.ada>

G'day,
Where abouts in the LRM does it say that I will only have one copy
of the variable T in the following code? This is naturally what you
would expect, that A.New_T_Value and B.New_T_Value would be working
on the same T, but is this defined in the LRM?

This is a trivialization of some comms code delivered to us, and we
wanted to see if the behaviour was defined by the LRM.

---------------------------------------
package Common is

  procedure Update_T;

end Common;

package body Common is

  T : Integer;

  procedure Update_T is

  begin

    ..
    code which updates the variable T;
    ..

  end Update_T;

end Common;

---------------------------------------

package A is

   procedure New_T_Value;

end A;

with Common;
package body A is

  procedure New_T_Value is

  begin

    Common.Update_T;

  end New_T_Value;

end A;

---------------------------------------

package B is

   procedure New_T_Value;

end B;

with Common;
package body B is

  procedure New_T_Value is

  begin

    Common.Update_T;

  end New_T_Value;

end B;

---------------------------------------

with A;
with B;
procedure Main is

begin

  A.New_T_Value;

  B.New_T_Value;

end Main;

Any confirmation of this would be greatly appreciated.

Thanks!

@                   --------
@          ////  - ( G'day! )
@         (o o)     --------
@ ----oOO--(_)--OOo--------------------------------------------------------
  Bob Wells                             "For every action there is an equal
                                         and opposite government program."
@ INTERNET: wel@eurocontrol.de                 CompuServe:      100272,3004
@ The Ada WWW Server is http://lglwww.epfl.ch/Ada/                 Team Ada
@ For exciting Ada info enter 'finger wel@s4ecawel.eurocontrol.de'