Re: Modest proposal, 2 of 3

[ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe)]

>Van Snyder wrote:
> PROPOSAL for next standardization of Ada
> 
> Allow objects to be declared in the public part of a package
> specification with mode "out".  The meaning is that clients of the
> package can reference the variable, but can't store into it.

I note that exporting a function instead has a big advantage:
functions are overloaded, variables aren't.  This is only an
issue to people who use 'use', of course.

I note another benefit of using access functions instead, which
is that if you wonder whether the "variable" actually _is_ being
used outside the package, you can compile for debugging and put
a breakpoint on it, or you can use a profiler like gprof.
A cross-reference would show you _static_ = potential uses only,
a debugger or profiler can show you _actual_ uses.  There's no
reason why profilers _couldn't_ could variable accesses, but none
that I have seen actually does so.

-- 
Fear most of all to be in error.	-- Kierkegaard, quoting Socrates.
Richard A. O'Keefe; http://www.cs.rmit.edu.au/%7Eok; RMIT Comp.Sci.