Difference between revisions of "Se"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
m
m
Line 1: Line 1:
 
[[Category:Tool]]
 
[[Category:Tool]]
   
<code>se</code> is the only tool you need to know of. It is also the only tools that need to be put in your load path (<code>$PATH</code> on Unix/Linux, <code>%PATH%</code> on Windows...)
+
<code>se</code> is the only tool you need to know about. It is also the only tool that needs to be put in your load path (<code>$PATH</code> on Unix/Linux, <code>%PATH%</code> on Windows...)
   
 
== Synopsis ==
 
== Synopsis ==
Line 21: Line 21:
 
* [[class_check|'''class_check''']]: the class [[Syntax_diagrams|syntax]] and [[semantics]] checker
 
* [[class_check|'''class_check''']]: the class [[Syntax_diagrams|syntax]] and [[semantics]] checker
 
* [[ace_check|'''ace_check''']]: the [[ACE]] file checker
 
* [[ace_check|'''ace_check''']]: the [[ACE]] file checker
* [[print_jvm_class|'''javap''']]: the java bytecode disassembler
 
 
* [[extract_internals|'''x_int''']]: the introspectable objects extractor
 
* [[extract_internals|'''x_int''']]: the introspectable objects extractor
   

Revision as of 21:18, 7 June 2016


se is the only tool you need to know about. It is also the only tool that needs to be put in your load path ($PATH on Unix/Linux, %PATH% on Windows...)

Synopsis

  • se <tool> [options]
  • se -help shows the available tools
  • se -version shows the version of each tool

The tool can be either one of the standard tools, or one you add for your own purposes. The standard tools are:

  • c: the standard compiler that creates an executable using a C compiler as back-end
  • c2c: the standard compiler core, that produces C files
  • clean: remove the useless C files
  • doc: the project documentator that produces HTML
  • test: the unit test tool
  • short: the class documentator that produces an interface summary
  • pretty: the class beautifier
  • find: the class finder
  • class_check: the class syntax and semantics checker
  • ace_check: the ACE file checker
  • x_int: the introspectable objects extractor

The options are those of the respective tools.