   The pretty Command

   Usage

   se pretty [options] <source_file> ...

   Command pretty is the SmartEiffel pretty-printer (code beautifier) for
   Eiffel  source  files.  The source_file argument must be some existing
   Eiffel    source   file   path   as   for   example   "integer.e"   or
   "lib/kernel/integer.e".
   One  can  specify  more than one file name at a time in order to apply
   the  pretty  command  on  many  files. All the corresponding files are
   reprinted in a pretty way.

   There  are  four  modes  of  pretty-printing: -zen, -default, -end and
   -parano  mode.  Only one mode can be selected and mode -default is the
   default mode.

   Options for Pretty Printing

   -help:
          Display  a  brief  summary  of  the  command-line  syntax and a
          complete list of pretty options.
   -version:
          Show the number of the version of SmartEiffel you're using.
   -zen:
          The  less you can print (i.e. very compact output). No end mark
          comment  for  routines.  No  end  comments  for statements (if,
          inspect, debug, ...).
   -default:
          The  default  mode.  This is close to what we are using for our
          library.
   -end:
          Same  printing  as  for  previous  mode but also print end mark
          comments for all routines.
   -parano:
          Same  printing  as  for  previous  mode but also print end mark
          comments for all statements (if, inspect, debug, ...).
   -no_style_warning:
          Suppress  output for warning messages related to non respect of
          standard  Eiffel  style  guidelines  (for example ItEm will not
          trigger a warning).
   -no_warning:
          Suppress  output  for  all warning messages (error messages are
          still printed).

   Security and BackUp File

   For  the  security  of  sources files, a backup file is created before
   writing  the  new  file  (the  system  or the pretty command may crash
   during  printing  of  the new file). The backup file name is "foo.bak"
   when  source  file name is "foo.e". Backup file is written in the same
   directory as source file.
   If  an  old  backup  file  already  exists before pretty printing, the
   pretty  command  exits  with  an  error  message.  To be sure that the
   pretty-printing is well done, the output file is parsed again.
   Even  if  second  parsing gives no errors, backup file is NOT removed.
   Thus  you  can  recompile  your  Eiffel  code to check new file before
   removing backup file by yourself.

                                   [Line]
             Copyright  Dominique COLNET and Suzanne COLLIN -
                         [1]<SmartEiffel@loria.fr>
                Last modified: Tue Feb 11 12:16:31 CET 2003

References

   1. mailto:SmartEiffel@loria.fr
