[gobo-eiffel-develop] Bug in GEC ?

[Wolfgang J. <wj...@so...>]

Hi Eric,

lets consider the program splitter

   p1 := $ref_attr
   p2 := $int_attr

where `p1',`p2' are POINTERS, `ref_attr' is
an attribute of a reference type,
and `int_attr' is an INTEGER attribute.

The effect is that `p2' is set with the address
of `int_attr' within `Current'. But `p1' is not
set with the address of `ref_attr', instead `p1'
is set with the value of `ref_attr' itself.

Is this a bug, or did I misunderstand the
definition of the `$' operator ?

WJ

-- 
Wolfgang Jansen
University of Potsdam, Germany
mailto: wj...@so...