Re: Local vs global variables in ADA

["Grein, Christoph" <christoph.grein@eurocopter.com>]

Martin Dowie:
> The exception to this is "pragma Export" and "pragma Import". With these
> you can do  dangerous things and completely remove the need for
> context clauses! :-)
> 
> e.g.
> 
> package body Foo is
>    ...
>    My_Local : Integer;
>    pragma Export (Ada, My_Local, "My_Local");
>    ...
> end Foo;
> 
> ...
> 
> -- WITHOUT "with Foo;"
> --
> package body Bar is
>    ...
>    -- No idea where "My_Local" is actual declared!
>    --
>    My_Other_Local : Integer;   <-- could be any type here (if the size
                                     matches; if not, you'll suffer from
                                     nasal demons...)
>    pragma Import (Ada, My_Other_Local, "My_Local");
>    ...
> end Bar;

and they need not even be of the same type. You can completely undermine the Ada 
type concept with this.

As Martin said: it's "hideous"