From Liberty Eiffel Wiki
Revision as of 00:07, 13 June 2016 by Hzwakenberg (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


 se find [options] [<ACEfile.ace>] <Class> 

The find command tells you which file is loaded when searching for an Eiffel <Class>.

When an Eiffel file is found, find prints the full path name on standard output.

The exit status is set to GENERAL.exit_success_code only when an existing file is found (thus allowing usage of the find command in shell scripts). As for other commands, when the ACE file mode is used, only the content of the <ACEfile.ace> file is used to search the source file. To see the loading path used by Liberty Eiffel, you can for example type the find command using a bad (non-existent) class name. In ACE file mode, the loading path can be updated by modifying the ACE file itself. In traditional mode (i.e. no ACE file), the default loading path may also be tailored (see below).



Display a brief summary of the command-line syntax and a complete list of find options.


Show the number of the version of Liberty Eiffel you're using.


Print system information during the compilation (full path of loaded files, type inference score, removed files, etc.).

-loadpath <loadpath_file>:

Adds a loadpath file for class lookup. See below for details on the loading path constitution.

-raw: Does not display the cluster name. Its only output is usually the path name of the class so it is useful in scripts.

Where does Find search?

This is explained in detail in the class loading section. Note that finder will find all classes with a given name.