Search for the -output_error_warning_on flag among arguments in order to apply redirection as
early as possible (should be called first when the command accept this flag).
Search the -verbose flag among arguments in order to become verbose as soon as possible (should be
called after search_for_echo_redirect_flag when the command accept this flag).
Is the flag one of this list: "-boost", "-no_check", "-require_check", "-ensure_check",
"-invariant_check", "-loop_check", "-all_check", or "-debug_check" ?
is "Usage: class_check [options] <ClassName>
or: class_check [options] <ACEfileName>.ace <ClassName>
Check the syntax and semantics of a class file.
Option summary:
Information:
-help Display this help information
-version Display Liberty Eiffel version information
-verbose Display detailed information about what the program is
doing
Warning levels:
-style_warning Print warnings about style violations
-no_warning Don't print any warnings
Message styles:
-flymake_mode Display messages in a compact format suitable for
processing by tools such as Emacs' Flymake mode
Class lookup:
-loadpath <file> Specify an extra loadpath file to read
"
All paths from the type to short to the ANY type excluded (when the class to short is ANY, ANY is the first
element).
Actually, this parent_list is used to select the order of features output of command short.
Indeed, we have to use the order of the original text source as a guide. As an example, if you short ARRAY, the
order given in COLLECTION is used first. Finally, the ANY type is not included in parent_list to avoid printing
of well knowns features.
Search for the -output_error_warning_on flag among arguments in order to apply redirection as
early as possible (should be called first when the command accept this flag).
Search the -verbose flag among arguments in order to become verbose as soon as possible (should be
called after search_for_echo_redirect_flag when the command accept this flag).
Search for some ACE file name in the command line arguments.
When some argument has the
appropriate suffix (ie. ".ace" or ".ACE"), the ace parser is automatically launched in order to
parse this configuration file. The caller is then notified that we are now in ACE mode (the result
is True). When we are in ACE mode, remaining allowed arguments are automatically handled.
Is the flag one of this list: "-boost", "-no_check", "-require_check", "-ensure_check",
"-invariant_check", "-loop_check", "-all_check", or "-debug_check" ?
Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
When the % letter notation exists, it is returned in priority: '%N' gives "%N", '%T'
gives "%T", etc.
When % letter notation does not exists (not in the ETL table), numbered coding
used ("%/1/", "%/2/" etc).
is " has no compiler-defined `deep_twin' or `is_deep_equal' because the corresponding allocated size is not part of the NATIVE_ARRAY object. The client class of this NATIVE_ARRAY type is supposed to use a `capacity' attribute which contains the corresponding number of allocated items (see STRING or ARRAY for example)."