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: ace_check [options] <ACEfileName>.ace
Check the syntax of an ACE 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
Configuration:
-system Display the system name
-root_class Display the root class name
-root_procedure Display the root procedure name
"
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)."