Difference between revisions of "Tools"

From Liberty Eiffel Wiki
Jump to: navigation, search
(The tools: jvm tools are dead.)
Line 1: Line 1:
 
LibertyEiffel provides many tools besides the [[compile|compiler]].
[[Category:Smarteiffel]]
 
 
SmartEiffel provides many tools besides the [[compile|compiler]].
 
   
 
All those tools use the [[configuration file]].
 
All those tools use the [[configuration file]].
Line 33: Line 31:
 
=== Installing ===
 
=== Installing ===
   
* [[install]]: installs the SmartEiffel tools
+
* [[install]]: installs the LibertyEiffel tools
   
 
== The system core ==
 
== The system core ==
Line 39: Line 37:
 
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, either because you want to modify it, here are some explanations.
   
If you want to create a new SmartEiffel-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>]].
   
 
* [[class loading]]
 
* [[class loading]]

Revision as of 21:50, 5 September 2014

LibertyEiffel provides many tools besides the compiler.

All those 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: find a class
  • pretty: make 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, either 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.