class ECHO
Summary
Overview
creation features
exported features
  • is_verbose: BOOLEAN
    Is the echo in -verbose mode (default is False).
  • is_redirected: BOOLEAN
    Is the echo redirected (when -output_error_warning_on flag is used).
  • before_exit_close
    Must be called just before exit in order to remove a possibly empty redirect_output_on file.
To echo some additional information (echo is only done when is_verbose is True).
To echo warnings or error messages (echoing whatever is_verbose status).
is_verbose: BOOLEAN
writable attribute
Is the echo in -verbose mode (default is False).
is_redirected: BOOLEAN
effective function
Is the echo redirected (when -output_error_warning_on flag is used).
before_exit_close
effective procedure
Must be called just before exit in order to remove a possibly empty redirect_output_on file.
put_string (msg: STRING)
effective procedure
put_character (c: CHARACTER)
effective procedure
put_new_line
effective procedure
put_integer (i: INTEGER_32)
effective procedure
put_real_format (real: REAL_64, format: INTEGER_32)
effective procedure
put_position (position: POSITION)
effective procedure
Echo the position inside brakets.
put_spaces (n: INTEGER_32)
effective procedure
file_removing (path: STRING)
effective procedure
If path is an existing file, echo a message on output_stream while removing the file.
file_renaming (old_path: STRING, new_path: STRING)
effective procedure
tfw_connect (tfw: TEXT_FILE_WRITE, path: STRING)
effective procedure
tfr_connect (tfr: TEXT_FILE_READ, path: STRING)
effective procedure
tfr_connect_or_exit (tfr: TEXT_FILE_READ, path: STRING)
effective procedure
read_word_in (tfr: TEXT_FILE_READ): STRING
effective function
system_call (cmd: STRING): INTEGER_32
effective function
To trace SYSTEM.execute calls.
print_count (msg: STRING, count: INTEGER_32)
effective procedure
getenv (variable: STRING, file: STRING): STRING
effective function
To echo every {SYSTEM}.get_environment_variable for all tools of SmartEiffel (because of magic variables and for SmallEiffel backward compatibility).
w_put_string (msg: STRING)
effective procedure
w_put_character (c: CHARACTER)
effective procedure
w_put_integer (i: INTEGER_32)
effective procedure
w_put_spaces (n: INTEGER_32)
effective procedure
w_put_new_line
effective procedure
redirect_output_to (new_output_stream: OUTPUT_STREAM, new_error_stream: OUTPUT_STREAM)
effective procedure
is_redirected_on_std_output: BOOLEAN
effective function
is_redirected_on_dev_null: BOOLEAN
effective function
is_redirected_on_file: BOOLEAN
effective function
is_redirected_on_other: BOOLEAN
effective function