Home My Page Projects SmartEiffel
Summary Activity Tracker Lists SCM Files

[#6298] TEXT_FILE_READ.read_word_using does not work

Date:
2008-09-29 04:38
Priority:
3
State:
Open
Submitted by:
Satoru Koizumi (koizumi)
Assigned to:
Nobody (None)
Category:
none
Group:
none
Resolution:
none
Summary:
TEXT_FILE_READ.read_word_using does not work

Detailed description
The attached file can be compiled, but error occurred at run time.
(The version of SmartEiffel is svn snapshot 9293)

*** Error at Run Time ***: Require Assertion Violated.
*** Error at Run Time ***: valid_last_character
8 frames in current stack.
===== Bottom of run-time stack =====
<system root>
Current = READ_WORD_USING#0x2804818
[ f = #0x2806818
]
line 7 column 4 file read_word_using.e
======================================
make READ_WORD_USING
Current = READ_WORD_USING#0x2804818
[ f = #0x2806818
]
line 10 column 22 file read_word_using.e
======================================
read_word_using TEXT_FILE_READ
Current = TEXT_FILE_READ#0x2806818
[ filter = Void
path = "read_word_using.e"
end_of_input = False
filtered_last_character = 'c'
input_stream = POINTER#0xa000db34
buffer = NATIVE_ARRAY[CHARACTER]#0x22128
end_reached = False
buffer_size = 213
buffer_position = 0
capacity = 4096
]
separators = "%N"
line 571 column 4 file /usr/local/SmartEiffel/lib/io/low_level/input_stream_tools.e
======================================
skip_separators_using TEXT_FILE_READ
Current = TEXT_FILE_READ#0x2806818
[ filter = Void
path = "read_word_using.e"
end_of_input = False
filtered_last_character = 'c'
input_stream = POINTER#0xa000db34
buffer = NATIVE_ARRAY[CHARACTER]#0x22128
end_reached = False
buffer_size = 213
buffer_position = 0
capacity = 4096
]
separators = "%N"
line 157 column 5 file /usr/local/SmartEiffel/lib/io/low_level/input_stream_tools.e
======================================
unread_character TEXT_FILE_READ
Current = TEXT_FILE_READ#0x2806818
[ filter = Void
path = "read_word_using.e"
end_of_input = False
filtered_last_character = 'c'
input_stream = POINTER#0xa000db34
buffer = NATIVE_ARRAY[CHARACTER]#0x22128
end_reached = False
buffer_size = 213
buffer_position = 0
capacity = 4096
]
line 40 column 4 file /usr/local/SmartEiffel/lib/io/input_stream.e
======================================
filtered_unread_character TEXT_FILE_READ
Current = TEXT_FILE_READ#0x2806818
[ filter = Void
path = "read_word_using.e"
end_of_input = False
filtered_last_character = 'c'
input_stream = POINTER#0xa000db34
buffer = NATIVE_ARRAY[CHARACTER]#0x22128
end_reached = False
buffer_size = 213
buffer_position = 0
capacity = 4096
]
line 87 column 7 file /usr/local/SmartEiffel/lib/io/terminal/text_file_read.e
======================================
valid_last_character TEXT_FILE_READ
Current = TEXT_FILE_READ#0x2806818
[ filter = Void
path = "read_word_using.e"
end_of_input = False
filtered_last_character = 'c'
input_stream = POINTER#0xa000db34
buffer = NATIVE_ARRAY[CHARACTER]#0x22128
end_reached = False
buffer_size = 213
buffer_position = 0
capacity = 4096
]
Result = False
line 21 column 4 file /usr/local/SmartEiffel/lib/io/terminal_input_stream.e
======================================
can_unread_character TEXT_FILE_READ
Current = TEXT_FILE_READ#0x2806818
[ filter = Void
path = "read_word_using.e"
end_of_input = False
filtered_last_character = 'c'
input_stream = POINTER#0xa000db34
buffer = NATIVE_ARRAY[CHARACTER]#0x22128
end_reached = False
buffer_size = 213
buffer_position = 0
capacity = 4096
]
Result = False
line 85 column 4 file /usr/local/SmartEiffel/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

No Comments Have Been Posted

Attachments:
Size Name Date By Download
213 bytesread_word_using.e2008-09-29 04:38koizumiread_word_using.e
Field Old Value Date By
File Added1020: read_word_using.e2008-09-29 04:38koizumi