1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
The pretty Command
Usage
pretty [options] <class_name> ...
Command pretty is the SmartEiffel pretty printer for Eiffel source
files. The class_name argument can be a classic Eiffel class name as
for example "INTEGER" or the name of some file as for example
"integer.e". The class file to be treated by pretty is always searched
in the current working directory.
One can specify more than one class name (or more than one file name)
at a time in order to apply pretty 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 (system or command pretty 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, command
pretty exit 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
|
