home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
deferred class CLASS_CHECKER
Summary
top
Common parent of
SHORT
and
CLASS_CHECK
Direct parents
inherit list:
COMMAND_LINE_TOOLS
Known children
inherit list:
CLASS_CHECK
,
SHORT
Class invariant
top
out
/= Void
Overview
top
exported features
command_line_name
:
STRING
Is supposed to return the name of the command itself (eg.
"compile"
,
"compile_to_c"
,
"finder"
,
"clean"
, etc.).
command_line_help_summary
:
STRING
The traditional
"-help"
flag summary of information about available options.
command_line_name
:
STRING
deferred function
top
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
top
The traditional
"-help"
flag summary of information about available options.