Re: [SPARK] Code safety and information hiding

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

Jeffrey R. Carter wrote:
> Maciej Sobczak wrote:
>> Agreed. Moreover, SPARK calls "global" even those variables, which are 
>> actually local in the scope that encloses the definition of the given 
>> subprogram. Intuitively, "globalness" of some name should not be a 
>> property of the place where the name is used.
> 
> Those are what I called state variables.

Do you call them state variables even when they're local in a subprogram 
and "global" only to a nested subprogram?

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