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!wns13feed!worldnet.att.net!attbi_s22.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Thunderbird 1.5.0.5 (Windows/20060719) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: [SPARK] Code safety and information hiding References: <7V3Fg.13573$E02.5018@newsb.telia.net> <_C8Fg.96140$FQ1.5902@attbi_s71> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Message-ID: NNTP-Posting-Host: 12.201.97.176 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s22 1156046309 12.201.97.176 (Sun, 20 Aug 2006 03:58:29 GMT) NNTP-Posting-Date: Sun, 20 Aug 2006 03:58:29 GMT Date: Sun, 20 Aug 2006 03:58:29 GMT Xref: g2news2.google.com comp.lang.ada:6275 Date: 2006-08-20T03:58:29+00:00 List-Id: Bj�rn Persson wrote: > > Well, maybe, but I think it sounds like the variable isn't local > anywhere at all, which would mean it's global. We're talking about variables that are not global (in a package spec), not local(in the innermost declarative region that references them), and not state variables (in a package body and referenced by the public operations of the package). In the spectrum of locality they're intermediate. In terms of use, we have global, state, and local variables, and these things, that don't fit any of those concepts. -- Jeff Carter "In the frozen land of Nador they were forced to eat Robin's minstrels, and there was much rejoicing." Monty Python & the Holy Grail 70