|
OPTION
|
ARGUMENTS
|
EFFECT
|
|
-ace
file_name
|
|
Use as Ace the file of name
file_name
. (Default: file
Ace.ace
in current directory.)
|
|
-ancestors
|
class_name
|
Print ancestors of class.
|
|
-aversions
|
class_name, feature_name
|
Print all versions of feature in ancestors of class.
|
|
-callers
|
class_name, feature_name
|
Print all routines that call feature.
|
|
-clients
|
class_name
|
Print clients of class.
|
|
-descendants
|
class_name
|
Print descendants of class.
|
|
-dversions
|
class_name, feature_name
|
Print all versions of feature in descendants of class.
|
|
-filter
filter_name
|
class_name
|
Print text of class processed by
filter_name
.
|
|
-finalize
|
|
Produce finalized version of system (optimized ANSI C code and executable module).
|
|
-flat
|
class_name
|
Print flat form of class.
|
|
-flatshort
|
class_name
|
Print flat-contract form of class.
|
|
-freeze
|
|
Freeze system.
|
|
-help
|
|
Print short help message listing options of
ec
.
|
|
-implementers
|
class_name, feature_name
|
Print all classes that declare or redeclare feature.
|
|
-keep
|
|
Keep assertions in final mode (useful with
-finalize
only).
|
|
-loop
|
|
Enter interactive mode where you may repeatedly request
ec
operations without having to restart
ec.
|
|
-precompile
|
|
Precompile system, treating it as a library.
|
|
-project
file
.
epr
|
|
Use the project of which
file
.
epr
is the project file.
|
|
-project_path
directory
|
|
Create project directory in
directory
. (Default: current directory.)
|
|
-short
|
class_name
|
Print contract form of class.
|
|
-stop
|
|
Stop on error. (Default: no.)
|
|
-suppliers
|
class_name
|
Print suppliers of class.
|
|
-version
|
|
Print EiffelStudio version.
|
