Difference between revisions of "Tools"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
m
Line 2: Line 2:
 
LibertyEiffel provides many tools besides the [[compile|compiler]].
 
LibertyEiffel provides many tools besides the [[compile|compiler]].
   
All those tools use the [[configuration file]].
+
All these tools use the [[configuration file]].
   
 
== The tools ==
 
== The tools ==
Line 21: Line 21:
   
 
* [[eiffeldoc]]: generates the whole documentation of a project
 
* [[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
 
* [[short]]: generates the interface documentation of a single class
   
 
=== Debugging ===
 
=== Debugging ===
   
* [[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 LibertyEiffel testing tool
 
* [[eiffeltest]]: the LibertyEiffel testing tool
   
Line 37: Line 37:
 
== The system core ==
 
== 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 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 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 LibertyEiffel-oriented tool, this information is important too; also look at [[tool_class:EXTERNAL_TOOL|<tt>EXTERNAL_TOOL</tt>]].

Revision as of 12:27, 5 March 2016

LibertyEiffel 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

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

Debugging

Installing

  • install: installs the LibertyEiffel 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 LibertyEiffel-oriented tool, this information is important too; also look at EXTERNAL_TOOL.