   Tools Documentation

   install

   The installation program for SmartEiffel. [1]More about install here.

   se

   That's  the  only  command-line tool you have to know about. It starts
   the many tools provided by SmartEiffel. [2]More about se here.

   Browse the [3]tools documentation online (http)!
   [se-line.gif]

   The  following  commands  are  obsolete. Some people prefer to add the
   SmartEiffel/bin  in  their  PATH,  so  they  can  directly  use  those
   commands.  This  method  is  no longer recommended. Put the se command
   somewhere in your PATH instead (e.g. /usr/local/bin on Linux).

   compile

   Starting  from an Eiffel source program, generates the corresponding C
   code and then the executable. This is probably the command you want to
   use. [4]More about compile here.

   compile_to_c

   The  Eiffel  to  C  compiler  itself.  You  do not generally invoke it
   explicitly. [5]More about compile_to_c here.

   compile_to_jvm

   The  Eiffel to Java byte-code compiler. Starting from an Eiffel source
   program,  generates  the  corresponding  .class  files.  [6]More about
   compile_to_jvm here.

   short

   Eiffel  interface  extraction  tool.  Can generate documentation using
   different formats (ASCII, HTML, etc.) [7]More about short here.

   pretty

   Eiffel pretty printer. [8]More about pretty here.

   finder

   Used   to   find   Eiffel   source   files  according  to  the  system
   configuration. [9]More about finder here.

   clean

   Used to clean Eiffel project directories. [10]More about clean here.

   print_jvm_class

   Java  byte-code  disassembler  and  pretty  printer.  We  find it more
   convenient than javap. [11]More about print_jvm_class here.

   eiffeldoc

   A  documentation  system that builds the API of a system. Currently it
   builds HTML files. [12]More about eiffeldoc here.

                                   [Line]
             Copyright  Dominique COLNET and Suzanne COLLIN -
                         [13]<SmartEiffel@loria.fr>
                Last modified: Sat May 7 22:35:13 CEST 2005

References

   1. file://localhost/home/colnet/SmartEiffel/man/install.html
   2. file://localhost/home/colnet/SmartEiffel/man/se.html
   3. http://SmartEiffel.loria.fr/tools/index.html
   4. file://localhost/home/colnet/SmartEiffel/man/compile.html
   5. file://localhost/home/colnet/SmartEiffel/man/compile_to_c.html
   6. file://localhost/home/colnet/SmartEiffel/man/compile_to_jvm.html
   7. file://localhost/home/colnet/SmartEiffel/man/short.html
   8. file://localhost/home/colnet/SmartEiffel/man/pretty.html
   9. file://localhost/home/colnet/SmartEiffel/man/finder.html
  10. file://localhost/home/colnet/SmartEiffel/man/clean.html
  11. file://localhost/home/colnet/SmartEiffel/man/print_jvm_class.html
  12. file://localhost/home/colnet/SmartEiffel/man/eiffeldoc.html
  13. mailto:SmartEiffel@loria.fr
