+
Point of view
All features
class EFFECT
Summary
A parser builder.
Direct parents
Insert list: LIBERTY_VERSION, LOGGING
Overview
Creation features
{}
Features
{ANY}
{}
{}
{}
  • log: LOGGER
    There is one logger per concrete type; for performance reasons it is cached in each instance.
  • log_memory__0_: LOGGER
    The cached logger.
{ANY}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
liberty_authors: STRING
is "C.ADRIAN"
constant attribute
{ANY}
liberty_dates: STRING
is "2011-2013"
constant attribute
{ANY}
output_effect: TEXT_FILE_WRITE
writable attribute
{}
output_reduce: TEXT_FILE_WRITE
writable attribute
{}
output_position: TEXT_FILE_WRITE
writable attribute
{}
output_image: TEXT_FILE_WRITE
writable attribute
{}
connect_or_die (name: ABSTRACT_STRING): TEXT_FILE_WRITE
effective function
{}
ensure
  • Result.is_connected
generate (name: FIXED_STRING, input: INPUT_STREAM)
effective procedure
{}
make
effective procedure
{}
once function
{}
once function
{}
once function
{}
writable attribute
{}
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.
The ugly name is intentional. Don't use directly.
liberty_release: STRING
is "2022.dev (preparing Glenn Curtiss)"
constant attribute
{ANY}
copyright: ABSTRACT_STRING
once function
{ANY}
short_copyright: ABSTRACT_STRING
once function
{ANY}
print_version
effective procedure
{ANY}
argument_count: INTEGER_32
effective function
{ANY}
Number of arguments given to command that started system execution (command name does not count).
ensure
  • Result >= 0
argument (i: INTEGER_32): STRING
effective function
{ANY}
i th argument of command that started system execution Gives the command name if i is 0.
require ensure
  • Result /= Void
command_name: STRING
effective function
{ANY}
command_arguments: FAST_ARRAY[STRING]
frozen
once function
{}
Give access to arguments command line including the command name at index 0.
This is a once function, so you can modify command-line arguments! (NOTE: just be sure not to remove the first argument, although you may change it)
ensure
  • not Result.is_empty
se_argc: INTEGER_32
{}
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
To implement command_arguments