Difference between revisions of "Se"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
(bash completion)
m
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[Category: Book]]
+
[[Category:Tool]]
   
<code>se</code> is, starting from the 2.2 release, 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 9: Line 9:
 
* <code>se -version</code> shows the version of each tool
 
* <code>se -version</code> shows the version of each tool
   
The tool can be either one of the standard tools, either one you add for your own purposes. The standard tools are:
+
The tool can be either one of the standard tools, or one you add for your own purposes. The standard tools are:
   
 
* [[compile|'''c''']]: the standard compiler that creates an executable using a C compiler as back-end
 
* [[compile|'''c''']]: the standard compiler that creates an executable using a C compiler as back-end
 
* [[compile_to_c|'''c2c''']]: the standard compiler core, that produces C files
 
* [[compile_to_c|'''c2c''']]: the standard compiler core, that produces C files
* [[compile_to_jvm|'''java''']]: the compiler that produces Java bytecode
+
* [[clean|'''clean''']]: remove the useless C files
* [[eiffeldoc|'''doc''']]: the project documentator that produces HTML
+
* [[eiffeldoc|'''doc''']]: the project documentation tool that produces HTML
* [[eiffeltest|'''test''']]: the unit test tool
+
* [[eiffeltest|'''test''']]: the unit testing tool
* [[short|'''short''']]: the class documentator that produces an interface summary
+
* [[short|'''short''']]: the class documentation tool that produces an interface summary
* [[pretty|'''pretty''']]: the class beautifier
+
* [[pretty|'''pretty''']]: the class beautifier / formatter
 
* [[finder|'''find''']]: the class finder
 
* [[finder|'''find''']]: the class finder
* [[class_check|'''class_check''']]: the class [[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 introspective objects extractor
* [[extract_internals|'''x_int''']]: the introspectable objects extractor
 
   
 
The options are those of the respective tools.
 
The options are those of the respective tools.
 
== Extra ==
 
 
=== Using bash power ===
 
 
This section is only for bash users (Linux, UNIX and Cygwin users).
 
 
Starting with the 2.3 release of SmartEiffel (or the version [http://gforge.inria.fr/plugins/scmsvn/viewcvs.php/trunk/misc/eiffel.bash?rev=7276&root=smarteiffel&view=auto 7276] in the Subversion repository), source the <code>misc/eiffel.bash</code> file to get extra completion power for the <code>se</code> command.
 

Latest revision as of 18:57, 31 July 2018


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 documentation tool that produces HTML
  • test: the unit testing tool
  • short: the class documentation tool that produces an interface summary
  • pretty: the class beautifier / formatter
  • find: the class finder
  • class_check: the class syntax and semantics checker
  • ace_check: the ACE file checker
  • x_int: the introspective objects extractor

The options are those of the respective tools.