Re: What is your opinion on Global Objects?

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 11/19/2014 02:13 AM, Hubert wrote:
> 
> Ok this is still an access of the global object directly from a subprogram. The
> subprogram then accesses the variable with the data ijnternally which is the
> same as accessing a global object. The data object itself is not passed through
> the parameters of the subprogram that uses it.

The package represents the object ("object" being a design concept). The
variables in the pkg body represent the state of the object, same as the private
fields of an object represented by an instance of a tagged type (or a "class"
type in some other languages). Note the use of State for the hidden variable in
Andersen's example, and the SPARK "state" annotations for such packages.

-- 
Jeff Carter
"How'd you like to hide the egg and gurgitate
a few saucers of mocha java?"
Never Give a Sucker an Even Break
101