Difference between revisions of "Tools"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
(copied from Category:Tools)
 
m
 
(33 intermediate revisions by 6 users not shown)
Line 1: Line 1:
[[Category:Book]]
+
[[Category: Tool]]
  +
Liberty Eiffel provides many tools besides the [[compile|compiler]].
   
  +
All these tools use the [[configuration file]].
[[compile_to_c]]: the C compiler core
 
* [[finder]]: the class finder
 
* [[pretty]]: the class beautifier
 
* [[short]]: the class interface documentator
 
* [[class_check]]: the class [[syntax]] and [[semantics]] checker
 
* [[ace_check]]: the [[ACE file]] checker
 
   
== The upcoming tools (for 2.2) ==
+
== The tools ==
   
  +
=== Toolbox ===
Along with the existing tools, a few new tools will be included in the 2.2 release:
 
   
* [[se]]: the front-end to all tools
+
* [[se]]: a facade to all those tools
  +
* [[eiffeldoc]]: the project documentator
 
  +
=== Compiling ===
* [[compile_to_jvm]]: the JVM compiler, back to life from 1.1
 
  +
  +
* [[clean]]: remove temporay 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]]: 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.
  +
  +
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]]
  +
* [[parsing|syntactic analysis]]
  +
* [[semantics|semantic analysis]]
  +
* the [[optimizer]]
  +
* the [[visitor|visitors]]
  +
* code generation
  +
** [[compile_to_c#Generation|compile_to_c]]
  +
** [[compile_to_jvm#Generation|compile_to_jvm (obsolete)]]

Latest revision as of 22:00, 14 May 2022

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

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

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.