Difference between revisions of "Tools"

Latest revision as of 13:29, 30 July 2024

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)

@@ Line 1: / Line 1: @@
 [[Category: Tool]]
-LibertyEiffel provides many tools besides the [[compile|compiler]].
+Liberty Eiffel provides many tools besides the [[compile|compiler]].
-All those tools use the [[configuration file]].
+All these tools use the [[configuration file]].
 == The tools ==
-=== Tool box ===
+=== Toolbox ===
 * [[se]]: a facade to all those tools
@@ Line 12: / Line 12: @@
 === Compiling ===
-* [[clean]]: remove the useless C files
+* [[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
+* [[Wrapping_C_libraries|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]]: find a class
+* [[finder]]: finds a class
-* [[pretty]]: make your source file pretty
+* [[pretty]]: makes your source file pretty
 * [[short]]: generates the interface documentation of a single class
-=== Debugging ===
+=== Testing ===
-* [[ace_check]]: check an [[ACE|ACE file]]
+* [[ace_check]]: checks an [[ACE|ACE file]]
-* [[class_check]]: check the [[parsing|syntax]] and the [[semantics]] of a source code
+* [[class_check]]: checks the [[parsing|syntax]] and the [[semantics]] of a source code
-* [[eiffeltest]]: the future testing tool
+* [[eiffeltest]]: the Liberty Eiffel testing tool
+* [[mock]]: the Liberty Eiffel mock tool
 === Installing ===
-* [[install]]: installs the LibertyEiffel tools
+* [[install]]: installs the Liberty Eiffel tools
 == The system core ==
-If you are interested by how the system works, either by sheer curiosity, either because you want to modify it, here are some explanations.
+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 LibertyEiffel-oriented tool, this information is important too; also look at [[tool_class:EXTERNAL_TOOL|<tt>EXTERNAL_TOOL</tt>]].
+If you want to create a new Liberty Eiffel-oriented tool, this information is important too; also look at [[tool_class:EXTERNAL_TOOL|<tt>EXTERNAL_TOOL</tt>]].
 * [[class loading]]
@@ Line 47: / Line 49: @@
 * code generation
 ** [[compile_to_c#Generation|compile_to_c]]
-** [[compile_to_jvm#Generation|compile_to_jvm]]
+** [[compile_to_jvm#Generation|compile_to_jvm (obsolete)]]