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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,34257fd17abeba14 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!news.tele.dk!feed118.news.tele.dk!news.tele.dk!small.news.tele.dk!newspeer2.se.telia.net!se.telia.net!masternews.telia.net.!newsb.telia.net.POSTED!not-for-mail From: =?ISO-8859-1?Q?Bj=F6rn_Persson?= User-Agent: Thunderbird 1.5.0.4 (X11/20060614) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: [SPARK] Code safety and information hiding References: <%%QFg.913090$084.629274@attbi_s22> <2SnGg.6629$aJ.3371@attbi_s21> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <9nAGg.13983$E02.5202@newsb.telia.net> Date: Tue, 22 Aug 2006 09:45:41 GMT NNTP-Posting-Host: 83.250.106.238 X-Complaints-To: abuse@telia.com X-Trace: newsb.telia.net 1156239941 83.250.106.238 (Tue, 22 Aug 2006 11:45:41 CEST) NNTP-Posting-Date: Tue, 22 Aug 2006 11:45:41 CEST Organization: Telia Internet Xref: g2news2.google.com comp.lang.ada:6313 Date: 2006-08-22T09:45:41+00:00 List-Id: Maciej Sobczak wrote: > But I will argue that a variable which is visible everywhere in the > program (in the sense that every executable piece of code can access > this variable) is effectively global in that program Exactly. And if you have: package Pack is procedure Piece_Of_Code; end Pack; with Pack; procedure Main_Subprogram is Variable : Natural; begin Pack.Piece_Of_Code; end Main_Subprogram; then Piece_Of_Code can't access Variable, so Variable isn't effectively global, right? -- Bj�rn Persson PGP key A88682FD omb jor ers @sv ge. r o.b n.p son eri nu