Difference between revisions of "Tools"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
m
(→‎The tools: jvm tools are dead.)
Line 16: Line 16:
 
* [[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
   
Line 30: Line 29:
 
* [[ace_check]]: check an [[ACE|ACE file]]
 
* [[ace_check]]: check an [[ACE|ACE file]]
 
* [[class_check]]: check the [[parsing|syntax]] and the [[semantics]] of a source code
 
* [[class_check]]: check the [[parsing|syntax]] and the [[semantics]] of a source code
* [[print_jvm_class]]: the Java bytecode disassembler
 
 
* [[eiffeltest]]: the future testing tool
 
* [[eiffeltest]]: the future testing tool
   

Revision as of 17:12, 11 March 2013


SmartEiffel 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 SmartEiffel 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 SmartEiffel-oriented tool, this information is important too; also look at EXTERNAL_TOOL.