Difference between revisions of "Se"

From Liberty Eiffel Wiki
Jump to navigation Jump to search
m
m
 
Line 15: Line 15:
 
* [[clean|'''clean''']]: remove the useless C files
 
* [[clean|'''clean''']]: remove the useless C files
 
* [[eiffeldoc|'''doc''']]: the project documentation tool 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 documentation tool that produces an interface summary
 
* [[short|'''short''']]: the class documentation tool that produces an interface summary
 
* [[pretty|'''pretty''']]: the class beautifier / formatter
 
* [[pretty|'''pretty''']]: the class beautifier / formatter

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.