Tools

Liberty Eiffel provides many tools besides the compiler.

All these tools use the configuration file.

The tools

Toolbox

• se: a facade to all those tools

Compiling

• clean: remove temporary C files after compilation
• compile: the compiler (calls compile_to_c)
• compile_to_c: the C compiler core
• extract_internals: the tentative inter-program object sharing tool
• wrappers_generator: a tools to generate low-level Eiffel wrappers for C code

Searching and documenting

• eiffeldoc: generates the whole documentation of a project
• finder: finds a class
• pretty: makes your source file pretty
• short: generates the interface documentation of a single class

Testing

• ace_check: checks an ACE file
• class_check: checks the syntax and the semantics of a source code
• eiffeltest: the Liberty Eiffel testing tool
• mock: the Liberty Eiffel mock tool

Installing

• install: installs the Liberty Eiffel tools

The system core

If you are interested in how the system works, either by sheer curiosity, or because you want to modify it, here are some explanations.

If you want to create a new Liberty Eiffel-oriented tool, this information is important too; also look at EXTERNAL_TOOL.

• class loading
• syntactic analysis
• semantic analysis
• the optimizer
• the visitors
• code generation
  • compile_to_c
  • compile_to_jvm (obsolete)