Difference between revisions of "Tools"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
(→‎Tool box: une cédille en anglais !!!)
m (s/LibertyEiffel/Liberty Eiffel/)
(23 intermediate revisions by 4 users not shown)
Line 1: Line 1:
[[Category: Book]]
+
[[Category: Tool]]
  +
Liberty Eiffel provides many tools besides the [[compile|compiler]].
   
SmartEiffel provides many tools besides the [[compile|compiler]].
+
All these tools use the [[configuration file]].
 
All those tools use the [[configuration file]].
 
   
 
== The tools ==
 
== The tools ==
Line 16: Line 15:
 
* [[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
* [[compile_to_jvm]]: the Java compiler
 
 
* [[extract_internals]]: the tentative inter-program object sharing tool
 
* [[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 ===
 
=== Searching and documenting ===
   
 
* [[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 ===
+
=== 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
* [[print_jvm_class]]: the Java bytecode disassembler
+
* [[eiffeltest]]: the Liberty Eiffel testing tool
* [[Eiffeltest]]: the future testing tool
+
* [[mock]]: the Liberty Eiffel mock tool
   
 
=== Installing ===
 
=== Installing ===
   
* [[install]]: installs the SmartEiffel tools
+
* [[install]]: installs the Liberty Eiffel tools
   
 
== 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 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 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]]
 
* [[parsing|syntactic analysis]]
 
* [[semantics|semantic analysis]]
 
* [[semantics|semantic analysis]]
Line 49: Line 49:
 
* code generation
 
* code generation
 
** [[compile_to_c#Generation|compile_to_c]]
 
** [[compile_to_c#Generation|compile_to_c]]
** [[compile_to_jvm#Generation|compile_to_jvm]]
+
** [[compile_to_jvm#Generation|compile_to_jvm (obsolete)]]

Revision as of 17: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

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.