Re: [SPARK] Code safety and information hiding

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

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