+
Point of view
All features
deferred class LIBERTY_VERSION
Summary
Direct parents
Insert list: ARGUMENTS
Known children
Insert list: EFFECT, WRAPPERS_GENERATOR
Overview
Features
{ANY}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
liberty_release: STRING
is "2016.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}
liberty_dates: ABSTRACT_STRING
deferred function
{ANY}
liberty_authors: ABSTRACT_STRING
deferred function
{ANY}
argument_count: INTEGER_32
effective function
{ANY}
Number of arguments given to command that started system execution (command name does not count).
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.
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.
se_argc: INTEGER_32
{}
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
To implement command_arguments