GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
liberty
>
EFFECT
+
Point of view
All features
ANY
All features
class EFFECT
Summary
top
A parser builder.
Direct parents
Insert list:
LIBERTY_VERSION
,
LOGGING
Overview
top
Creation features
{}
make
Features
{
ANY
}
liberty_authors
:
STRING
liberty_dates
:
STRING
{}
output_effect
:
TEXT_FILE_WRITE
output_reduce
:
TEXT_FILE_WRITE
output_position
:
TEXT_FILE_WRITE
output_image
:
TEXT_FILE_WRITE
connect_or_die
(name:
ABSTRACT_STRING
):
TEXT_FILE_WRITE
generate
(name:
FIXED_STRING
, input:
INPUT_STREAM
)
{}
make
arguments
:
COMMAND_LINE_ARGUMENTS
argument_file
:
COMMAND_LINE_TYPED_ARGUMENT
[
REGULAR_FILE
]
option_help
:
COMMAND_LINE_TYPED_ARGUMENT
[
BOOLEAN
]
cli_factory
:
COMMAND_LINE_ARGUMENT_FACTORY
{}
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
}
liberty_release
:
STRING
copyright
:
ABSTRACT_STRING
short_copyright
:
ABSTRACT_STRING
print_version
{
ANY
}
argument_count
:
INTEGER_32
Number of arguments given to command that started system execution (command name does not count).
argument
(i:
INTEGER_32
):
STRING
i
th argument of command that started system execution Gives the command name if
i
is 0.
command_name
:
STRING
{}
command_arguments
:
FAST_ARRAY
[
STRING
]
Give access to arguments command line including the command name at index 0.
Implementation of
ARGUMENTS
(do not use directly):
{}
se_argc
:
INTEGER_32
To implement
command_arguments
se_argv
(i:
INTEGER_32
):
STRING
To implement
command_arguments
liberty_authors
:
STRING
is "C.ADRIAN"
constant attribute
{
ANY
}
top
liberty_dates
:
STRING
is "2011-2013"
constant attribute
{
ANY
}
top
output_effect
:
TEXT_FILE_WRITE
writable attribute
{}
top
output_reduce
:
TEXT_FILE_WRITE
writable attribute
{}
top
output_position
:
TEXT_FILE_WRITE
writable attribute
{}
top
output_image
:
TEXT_FILE_WRITE
writable attribute
{}
top
connect_or_die
(name:
ABSTRACT_STRING
):
TEXT_FILE_WRITE
effective function
{}
top
ensure
Result.is_connected
generate
(name:
FIXED_STRING
, input:
INPUT_STREAM
)
effective procedure
{}
top
make
effective procedure
{}
top
arguments
:
COMMAND_LINE_ARGUMENTS
once function
{}
top
argument_file
:
COMMAND_LINE_TYPED_ARGUMENT
[
REGULAR_FILE
]
once function
{}
top
option_help
:
COMMAND_LINE_TYPED_ARGUMENT
[
BOOLEAN
]
once function
{}
top
cli_factory
:
COMMAND_LINE_ARGUMENT_FACTORY
writable attribute
{}
top
log
:
LOGGER
effective function
{}
top
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
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.
liberty_release
:
STRING
is "2022.dev (preparing Glenn Curtiss)"
constant attribute
{
ANY
}
top
copyright
:
ABSTRACT_STRING
once function
{
ANY
}
top
short_copyright
:
ABSTRACT_STRING
once function
{
ANY
}
top
print_version
effective procedure
{
ANY
}
top
argument_count
:
INTEGER_32
effective function
{
ANY
}
top
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
}
top
i
th argument of command that started system execution Gives the command name if
i
is 0.
require
i >= 0
i <=
argument_count
ensure
Result /= Void
command_name
:
STRING
effective function
{
ANY
}
top
command_arguments
:
FAST_ARRAY
[
STRING
]
frozen
once function
{}
top
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
{}
top
To implement
command_arguments
se_argv
(i:
INTEGER_32
):
STRING
{}
top
To implement
command_arguments