🚀 go-pugleaf

In article <4ct8s9$477@disunms.epfl.ch>, Stephane.Barbey@di.epfl.ch (Stephane Barbey) writes:
>In article <60SqRiBF3RB@herold.franken.de>, jhd@herold.franken.de (Joachim Durchholz) writes:
>: There is definitely no such thing as a global variable in Eiffel.
>: 
>
>What about attributes defined in the classes ANY (and also in HERE in a
>previous version of Eiffel)?

Such attributes are not global variables: only they are inherited by all classes
in an Eiffel Universe (not a recommanded thing to do then).

But you can *build* global variables if you need them: declare a once function returning
the global variable in the class ANY.
Expl:

class ANY
   global_integer: INTEGER_REF is
	-- global variable, i.e. shared by all objects
	once
	   !!Result
	end -- global_integer
end -- ANY

In Eiffel, this is however seldom useful.

More useful is to use the same mecanism to share variables among a few number
of classes.


-- 
Jean-Marc Jezequel               Tel : +33 99847192         
IRISA/CNRS                       Fax : +33 99847171         
Campus de Beaulieu               e-mail : jezequel@irisa.fr 
F-35042 RENNES (FRANCE)          http://www.irisa.fr/pampa/PROF/jmj.html