[gobo-eiffel-develop] Trouble with IO

[Uwe S. <us...@on...>]

Hi GOBO team,

if this is the wrong list, please accept my apologizes and point me to the
right one ...

Please consider the following situation:

Compiler is SE, the following lines are code snippets

  local
   stream: INPUT_STREAM
   file: KL_TEXT_INPUT_FILE
  do
   !!file.make ("test1.c")
   file.open_read

   stream := file

   stream.read_line

The last line results in a feature applied to Void reference problem,
because it calls 'old_read_line' from KL_TEXT_INPUT_FILE, which calls in
turn 'last_string' which is Void. Wouldn't it be better to redefine
'last_string' in a way that it is not an attribute but a function which
returns an internal attribute (simulating once-per-object)? Other
suggestions?

The problem occured while converting ELJ to make use of GOBO io classes.


Best Regards

Uwe