class EIFFELDOC
Summary
Overview
creation features
exported features
  • usage: STRING
    The traditional "-help" flag summary of information about available options.
  • command_line_name: STRING
    Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
usage: STRING
once function
The traditional "-help" flag summary of information about available options.
command_line_name: STRING
effective function
Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
command_line_help_summary: STRING
deferred function
The traditional "-help" flag summary of information about available options.
as_visitor: VISITOR
effective function