Re: [SPARK] Code safety and information hiding

["Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>]

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