CAESAR.INDENT manual page
Table of Contents

Name

caesar.indent - LOTOS specifications pretty-printer

Synopsis

caesar.indent [-kwuc | -keywords_in_upper_case] [-kwlc | -keywords_in_lower_case] [-kwci | -keywords_capitalised_initial] [-v | -verbose] [-nv | -noverbose] [-ll num | -line_length num] [-tabs] [-notabs] [-every num] [-m num | -margin num] [-struct] [-nstruct] filename

Description

Taking as input filename which is a file (with suffix .lotos, .lot, or .l), containing a LOTOS program, caesar.indent saves filename as filename.bak checks its syntax and pretty-prints the program in file filename. This allows to read more easily LOTOS programs.

Options

-kwuc | -keywords_in_upper_case
Print all the LOTOS keywords in upper case. Not a default option.

-kwlc | -keywords_in_lower_case
Print all the LOTOS keywords in lower case. This is a default option.

-kwci | -keywords_capitalised_initial
Print all the LOTOS keywords with the first letter in upper-case, the others in lower-case. Not a default option.

-v | -verbose
Display progress information, in addition to errors, on the user's screen. Opposite of -noverbose. Default option is -noverbose.

-nv | -noverbose
Do not display progress information on the user's screen. Opposite of -verbose. This is the default option.

-ll num | -line_length num
Set the maximum line length to num. The default value is 500.

-tabs      
Replace spaces by tabs. Not a default option.

-notabs      
Do not replace spaces by tabs. This is a default option.

-every num
Set the number of spaces that make up a tabulation. The default value is 8.

-m num | -margin num
Set the maximum length of the margin to num. The default value is 460.

-struct      
Preserve the structure of nested blocks when cutting. This is a default option.

-nstruct
Do not preserve the structure of nested blocks when cutting. Not a default option.

Exit Status

When the source is erroneous, error messages are issued. Exit status is 0 if everything is alright, 1 otherwise.

Authors

Bruno Vivien (INRIA Rhone-Alpes)
Adaptation by Mark Jorgensen (INRIA Rhone-Alpes)

Operands

filename
LOTOS specification (input/output)

filename.bak
Backup of input (output)

See Also

caesar.adt , caesar , lotos

Additional information is available from the CADP Web page located at http://cadp.inria.fr

Directives for installation are given in files $CADP/INSTALLATION_*.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.

Bugs

Please report new bugs to cadp@inria.fr

Table of Contents