+
Point of view
ANY
class TEXT_FILE_READ
Summary
top
Overview
top
creation features
  • make
    The new created object is not connected.
  • connect_to (new_path: STRING)
     Open text file for reading.
exported features
  • path: STRING
    Not Void when connected to the corresponding file on the disk.
  • is_connected: BOOLEAN
    Is this file connected to some file of the operating system?
Skipping separators:
To read one number at a time:
To read one line or one word at a time:
Other features:
connect_to (new_path: STRING)
effective procedure
top
 Open text file for reading.
disconnect
effective procedure
top
Try to disconnect the stream.
can_unread_character: BOOLEAN
effective function
top
end_of_input: BOOLEAN
writable attribute
top
end_of_input means the previous attempt in character reading failed because the end has been reached.
path: STRING
writable attribute
top
Not Void when connected to the corresponding file on the disk.
is_connected: BOOLEAN
effective function
top
Is this file connected to some file of the operating system?
can_read_character: BOOLEAN
constant attribute
top
Note that this state is usually temporary.
can_read_line: BOOLEAN
constant attribute
top
valid_last_character: BOOLEAN
constant attribute
top
can_disconnect: BOOLEAN
constant attribute
top
True if the stream can be safely disconnected (without data loss, etc.)
read_character
effective procedure
top
If read_character fail, end_of_input is set.
read_line_in (buffer: STRING)
effective procedure
top
Same job as read_line but storage is directly done in buffer.
read_available_in (buffer: STRING, limit: INTEGER_32)
effective procedure
top
Same job as read_available but storage is directly done in buffer.
unread_character
effective procedure
top
last_character: CHARACTER
effective function
top
detach
effective procedure
top
Shake off the filter.
event_can_read: EVENT_DESCRIPTOR
effective function
top
descriptor: INTEGER_32
effective function
top
Some OS-dependent descriptor.
has_descriptor: BOOLEAN
effective function
top
True if that stream can be associated to some OS-meaningful descriptor.
is_filtered: BOOLEAN
deferred function
top
skip_separators
effective procedure
top
Skip all separators (see is_separator of class CHARACTER) and make the first non-separator available in last_character.
skip_separators_using (separators: STRING)
effective procedure
top
Same job as skip_separators using the separators set.
skip_remainder_of_line
effective procedure
top
Skip all the remainder of the line including the end of line delimiter itself.
read_integer
effective procedure
top
Read an integer according to the Eiffel syntax.
last_integer: INTEGER_32
writable attribute
top
Last integer read using read_integer.
valid_last_integer: BOOLEAN
writable attribute
top
Was the last call to read_integer successful ?
last_real: REAL_64
writable attribute
top
Last real read with read_real.
valid_last_real: BOOLEAN
writable attribute
top
Was the last call to read_real successful ?
read_real
effective procedure
top
Read a REAL and make the result available in last_real.
last_string: STRING
once function
top
Access to the unique common buffer to get for example the result computed by read_line, read_word, newline, etc.
read_line
effective procedure
top
Read a complete line ended by '%N' or end_of_input.%
read_available (limit: INTEGER_32)
effective procedure
top
Read as many characters as possible, as long as the stream does not block and up to the given limit.
read_word
effective procedure
top
Read a word using is_separator of class CHARACTER.
newline
effective procedure
top
Consume input until newline ('%N') is found.
reach_and_skip (keyword: STRING)
effective procedure
top
Try to skip enough characters in order to reach the keyword which is skipped too.
read_word_using (separators: STRING)
effective procedure
top
Same job as read_word using separators.
read_tail_in (str: STRING)
effective procedure
top
Read all remaining character of the stream in str.