Re: [SPARK] Code safety and information hiding

["Björn Persson" <spam-away@nowhere.nil>]

Jeffrey R. Carter wrote:
> 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.

Precisely. They're intermediate, but "intermediately local" is even more 
unwieldy. (Is "intermediately" even a word?) How about "half-local"? 
"Semilocal"?

-- 
Bj�rn Persson                              PGP key A88682FD
                    omb jor ers @sv ge.
                    r o.b n.p son eri nu