Difference between revisions of "Tools"
Jump to navigation
Jump to search
(to be translated) |
m (s/LibertyEiffel/Liberty Eiffel/) |
||
(29 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
− | [[Category: |
+ | [[Category: Tool]] |
+ | Liberty Eiffel provides many tools besides the [[compile|compiler]]. |
||
+ | All these tools use the [[configuration file]]. |
||
− | *** TO BE COMPLETED (see French version) |
||
− | *** Thanks! |
||
+ | == The tools == |
||
− | [[SmartEiffel]] provides many tools besides the [[compile|compiler]]. |
||
+ | === Tool box === |
||
− | == The current tools (version 2.1) == |
||
+ | * [[se]]: a facade to all those tools |
||
+ | |||
+ | === Compiling === |
||
+ | |||
+ | * [[clean]]: remove the useless C files |
||
* [[compile]]: the compiler (calls [[compile_to_c]]) |
* [[compile]]: the compiler (calls [[compile_to_c]]) |
||
* [[compile_to_c]]: the C compiler core |
* [[compile_to_c]]: the C compiler core |
||
+ | * [[extract_internals]]: the tentative inter-program object sharing tool |
||
− | * [[finder]]: the class finder |
||
+ | * [[Wrapping_C_libraries|wrappers_generator]]: a tools to generate low-level Eiffel wrappers for C code |
||
− | * [[pretty]]: the class beautifier |
||
+ | |||
− | * [[short]]: the class interface documentator |
||
+ | === Searching and documenting === |
||
− | * [[class_check]]: the class [[syntax]] and [[semantics]] checker |
||
+ | |||
− | * [[ace_check]]: the [[ACE file]] checker |
||
+ | * [[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|ACE file]] |
||
+ | * [[class_check]]: checks the [[parsing|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 by how the system works, either by sheer curiosity, or because you want to modify it, here are some explanations. |
||
− | == The upcoming tools (for 2.2) == |
||
+ | 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>]]. |
||
− | Along with the existing tools, a few new tools will be included in the 2.2 release: |
||
+ | * [[class loading]] |
||
− | * [[se]]: the front-end to all tools |
||
+ | * [[parsing|syntactic analysis]] |
||
− | * [[eiffeldoc]]: the project documentator |
||
+ | * [[semantics|semantic analysis]] |
||
− | * [[compile_to_jvm]]: the JVM compiler, back to life from 1.1 |
||
+ | * the [[optimizer]] |
||
+ | * the [[visitor|visitors]] |
||
+ | * code generation |
||
+ | ** [[compile_to_c#Generation|compile_to_c]] |
||
+ | ** [[compile_to_jvm#Generation|compile_to_jvm (obsolete)]] |
Revision as of 18:51, 14 June 2016
Liberty Eiffel provides many tools besides the compiler.
All these tools use the configuration file.
The tools
Tool box
- se: a facade to all those tools
Compiling
- clean: remove the useless C files
- 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 by 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