expanded class STRING_COMMAND_LINE
Summary
Overview
exported features
command_line_name: STRING
constant attribute
Must be modified by the tools which use the STRING_COMMAND_LINE facility.
set_command_line_name (c: STRING)
effective procedure
parse (command_line: STRING)
effective procedure
Only a very small subset of SmartEiffel options are supported here:
   -no_gc
   -no_strip
   -no_split
   -sedb
   -profile
is_valid_argument_for_ace_mode (arg: STRING): BOOLEAN
effective function
Is the arg command line argument allowed in ACE file mode ?
valid_argument_for_ace_mode: STRING
effective function
An explanation to be given to the user when the call to is_valid_argument_for_ace_mode returns False.
command_line_help_summary: STRING
effective function
The traditional "-help" flag summary of information about available options.