Finder

From Liberty Eiffel Wiki
Revision as of 08:17, 30 May 2016 by Hzwakenberg (talk | contribs)
Jump to navigation Jump to search

Usage

 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 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 LibertyEiffel, you can for example type the find command using a bad (inexistent) 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).

Option s

-help:

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


-version:

Show the number of the version of LibertyEiffel you're using.


-verbose:

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.

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.