FalseTrue*** Error at Run Time ***: Require Assertion Violated. *** Error at Run Time ***: valid_last_character 8 frames in run-time stack. ==== Bottom of run-time stack ==== Current = TEST#0x159818a28 line 7 column 4 file /somedir/eiffel/test.e ====================================== make TEST Current = TEST#0x159818a28 f = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] line 12 column 28 file /somedir/eiffel/test.e ====================================== read_word_using TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] separators = "=%N" line 570 column 10 file /somedir/liberty-eiffel/src/lib/io/low_level/input_stream_tools.e ====================================== skip_separators_using TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] separators = "=%N" line 160 column 13 file /somedir/liberty-eiffel/src/lib/io/low_level/input_stream_tools.e ====================================== unread_character TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] line 41 column 10 file /somedir/liberty-eiffel/src/lib/io/core/input_stream.e ====================================== filtered_unread_character TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] line 95 column 13 file /somedir/liberty-eiffel/src/lib/io/basic/text_file_read.e ====================================== valid_last_character TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] Result = False line 22 column 10 file /somedir/liberty-eiffel/src/lib/io/core/terminal_input_stream.e ====================================== can_unread_character TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] Result = False line 85 column 10 file /somedir/liberty-eiffel/src/lib/io/low_level/input_stream_tools.e ==== Top of run-time stack ==== *** Error at Run Time ***: Require Assertion Violated. *** Error at Run Time ***: valid_last_character *** Error at Run Time ***: Check Assertion Violated. *** Error at Run Time ***: disconnect_file_after_use 3 frames in run-time stack. ==== Bottom of run-time stack ==== ====================================== Garbage Collector at work. dispose called (during sweep phase) ====================================== dispose TEXT_FILE_READ Current = TEXT_FILE_READ#0x15981aa28 [ filter = Void path = "test.txt" buffer = NATIVE_ARRAY[CHARACTER]#0x1598106b0 input_stream = POINTER#0x1f31400d0 buffer_position = 0 buffer_size = 24 capacity = 4096 end_of_input = False end_reached = False filtered_last_character = 'k' ] line 166 column 43 file /somedir/liberty-eiffel/src/lib/io/core/stream.e ==== Top of run-time stack ==== *** Error at Run Time ***: Check Assertion Violated. *** Error at Run Time ***: disconnect_file_after_use