# 7 Pretty Printing

The main feature of a2ps is its pretty-printing capabilities. Two different levels of pretty printing can be reached:

• basic (normal highlight level) in which what you print is what you wrote.
• string (heavy highlight level), in which in general, some keywords are replaced by a Symbol character which best represents them. For instance, in most languages <=' and >=' will be replaced by the corresponding single character from the font Symbol.

Note that the difference is up to the author of the style sheet.

## 7.1 Syntactic limits

a2ps is not a powerful syntactic pretty-printer: it just handles lexical structures, i.e., if in your favorite language

IF IF == THEN THEN THEN := ELSE ELSE ELSE := IF


is legal, then a2ps is not the tool you need. Indeed a2ps just looks for some keywords, or some sequences.

## 7.2 Known Style Sheets

Style Sheet: 68000 (68000.ssh')
Althought designed at the origin for the 68k's assembler, this style sheet seem to handle rather well other dialects.

Style Sheet: a2ps configuration file (a2psrc.ssh')
Meant to print files such as a2ps.cfg', or .a2ps/a2psrc', etc.

Style Sheet: a2ps style sheet (ssh.ssh')
Second level of highligthing (option -g')) substitutes the LaTeX symbols.

Style Sheet: Ada (ada.ssh')
This style sheets cover Ada 95. If you feel the need for Ada 83, you'll have to design another style sheet.

Style Sheet: AWK (awk.ssh')
Written by Edward Arthur. This style is devoted to the AWK pattern scanning and processing language. It is supposed to support classic awk, nawk and gawk.

Style Sheet: Bourne Shell (sh.ssh')
Some classical program names, or builtin, are highlighted in the second level of pretty-printing.

Style Sheet: C (c.ssh')
This style does not highlight the function definitions. Another style which highlights them, GNUish C, is provided (gnuc.ssh). It works only if you respect some syntactic conventions.

Style Sheet: C Shell (csh.ssh')
Written by Jim Diamond. Some classical program names, and/or builtins, are highlighted in the second level of pretty-printing.

Style Sheet: C++ (cpp.ssh')
Should handle all known variations of C++. Most declarations (classes etc.) are not highlighted as they should be. Please, step forward!

Style Sheet: CAML (caml.ssh')
This style should also suit other versions of ML (caml light, SML etc.)

Style Sheet: ChangeLog (chlog.ssh')
This style covers the usual ChangeLog files.

Style Sheet: Claire (claire.ssh')
Claire is a high-level functional and object-oriented language with advanced rule processing capabilities. It is intended to allow the programmer to express complex algorithms with fewer lines and in an elegant and readable manner.

To provide a high degree of expressivity, Claire uses:

• A very rich type system including type intervals and second-order types (with dual static/dynamic typing),
• Parametric classes and methods,
• An object-oriented logic with set extensions,
• Dynamic versioning that supports easy exploration of search spaces.

To achieve its goal of readability, Claire uses

• set-based programming with an intuitive syntax,
• simple-minded object-oriented programming,
• truly polymorphic and parametric functional programming,
• a powerful-yet-readable extension of DATALOG to express logical conditions,
• an entity-relation approach with explicit relations, inverses, unknown values and relational
• operations.

Style Sheet: Common Lisp (clisp.ssh')
Written by Juliusz Chroboczek.

Style Sheet: Coq Vernacular (coqv.ssh')
This style is devoted to the Coq v 5.10 vernacular language.

Style Sheet: dc_shell (dc_shell.ssh')
Written by Philippe Le Van. Synopsys Design Compiler is a synthesis tool used by electronic companies for the design of their chips. This sheet is very incomplete, we have a lot of keywords to add, eventually options to highlight... The Label_strong style is used for commands which change the design.

Style Sheet: Eiffel (eiffel.ssh')
Eiffel is an object oriented language that also includes a comprehensive approach to software construction: a method.

The language itself is not just a programming language but also covers analysis, design and implementation.

Heavy highlight uses symbols to represent common math operators.

Style Sheet: Emacs Lisp (elisp.ssh')
Written by Didier Verna. This style sheet includes support for some extensions dumped with XEmacs.

Style Sheet: Encapsulated PostScript (eps.ssh')
Illegal PostScript operators are highlighted as Errors.

Style Sheet: Extended Tcl (tclx.ssh')
Written by Phil Hollenback. Extensions to plain Tcl.

Style Sheet: Fortran (fortran.ssh')
Written by Denis Girou, Alexander Mai. There are several Fortran dialects, depending whether, on the one hand, you use Fortran 77 or Fortran 90/95, and, on the other hand, Fixed form comments, or Free form comments.

The style sheets for77kwds and for90kwds implements keywords only, while the style sheets for-fixed and for-free implements comments only.

This style sheet tries to support any of the various flavors (Fortran 77/90/95, fixed or free form). For more specific uses, you should use either:

• for77-fixed, for Fortran 77 fixed form,
• for77-free, for Fortran 77 free form,
• for90-fixed, for Fortran 90/95 fixed form,
• for90-free, for Fortran 90/95 free form.

Style Sheet: Fortran 77 Fixed (for77-fixed.ssh')
Written by Denis Girou, Alexander Mai. Dedicated to Fortran 77 in fixed form, i.e., comments are lines starting with c, C, or *, and only those lines are comments.

Style Sheet: Fortran 77 Free (for77-free.ssh')
Written by Denis Girou, Alexander Mai. Dedicated to Fortran 77 in free form, i.e., comments are introduced by ! anywhere on the line, and nothing else is a comment.

Style Sheet: Fortran 77 Keywords (for77kwds.ssh')
Written by Denis Girou, Alexander Mai. This sheet implements only Fortran 77 keywords, and avoids implementing comments support. This is to allow for implementation of either fixed or free form.

See the documentation of the style sheet fortran for more details.

Style Sheet: Fortran 90 Fixed (for90-fixed.ssh')
Written by Denis Girou, Alexander Mai. Dedicated to Fortran 90/95 in fixed form, i.e., comments are lines starting with c, C, or *, and only those lines are comments.

Style Sheet: Fortran 90 Free (for90-free.ssh')
Written by Denis Girou, Alexander Mai. Dedicated to Fortran 90/95 in free form, i.e., comments are introduced by ! anywhere on the line, and nothing else is a comment.

Style Sheet: Fortran 90 Keywords (for90kwds.ssh')
Written by Denis Girou, Alexander Mai. This sheet implements the superset which Fortran 90/95 provides over Fortran 77.

See the documentation of the style sheet fortran for more details.

Style Sheet: Fortran Fixed (for-fixed.ssh')
Written by Denis Girou, Alexander Mai. Implements comments of Fortran in fixed form, i.e., comments are lines starting with c, C, or *, and only those lines are comments. No other highlighting is done.

See the documentation of the style sheet fortran for more details.

Style Sheet: Fortran Free (for-free.ssh')
Written by Denis Girou, Alexander Mai. Dedicated to Fortran in free form, i.e., comments are introduced by ! anywhere on the line, and nothing else is a comment.

Style Sheet: GNUish C (gnuc.ssh')
Declaration of functions are highlighted only if you start the function name in the first column, and it is followed by an opening parenthesis. In other words, if you write
int main (void)


it won't work. Write:

int
main (void)


Style Sheet: GNUMakefile (gmake.ssh')
Written by Alexander Mai. Special tokens of GNUmakefiles and non terminal declarations are highlighted.

Style Sheet: HTML (html.ssh')
Written by Wesley J. Chun. This style is meant to pretty print HTML source files, not to simulate its interpretation (i.e., <bold>foo</bold>' does not print foo' in bold). If you really meant to print the result of the HTML file interpreted, then you should turn the delegations on, and make sure a2ps' has HTML delegations.

Style Sheet: IDL (idl.ssh')
Written by Robert S. Mallozzi. Style sheet for IDL (Interactive Data Language). http://www.rsinc.com

Style Sheet: InstallShield 5 (is5rul.ssh')
Written by Alex. InstallShield5 _TM_ RUL script.

Style Sheet: Java (java.ssh')
Written by Steve Alexander. Documentation comments are mapped to strong comments, and any other comment is plain comment.

Style Sheet: LACE (lace.ssh')
This is meant for the Eiffel equivalent of the Makefiles.

Style Sheet: Lex (lex.ssh')
In addition to the C constructs, it highlights the declaration of states, and some special %' commands.

Style Sheet: Mail Folder (mail.ssh')
To use from elm and others, it is better to specify -g -Email', since the file sent to printer is no longer truly a mail folder. This style also suits to news. --strip' options are also useful (they strip "useless" headers).

Whenever the changes of encoding are clear, a2ps sets itself the encoding for the parts concerned.

Tag 1 is the subject, and Tag 2 the author of the mail/news.

Note: This style sheet is _very_ difficult to write. Please don't report behavior you don't like. Just send me improvements, or write a Bison parser for mails.

Style Sheet: Makefile (make.ssh')
Special tokens, and non terminal declarations are highlighted.

Style Sheet: Management Information Base (mib.ssh')
Written by Kelly Wiles. The MIB file is of ASN.1 syntax.

Style Sheet: MATLAB 4 (matlab4.ssh')
Written by Marco De la Cruz. Note that comments in the code should have a space after the %.

Style Sheet: Modula 2 (modula2.ssh')
Written by Peter Bartke.

Style Sheet: Modula 3 (modula3.ssh')
Modula-3 is a member of the Pascal family of languages. Designed in the late 1980s at Digital Equipment Corporation and Olivetti, Modula-3 corrects many of the deficiencies of Pascal and Modula-2 for practical software engineering. In particular, Modula-3 keeps the simplicity of type safety of the earlier languages, while providing new facilities for exception handling, concurrency, object-oriented programming, and automatic garbage collection. Modula-3 is both a practical implementation language for large software projects and an excellent teaching language.

Style Sheet: o2c (o2c.ssh')

Style Sheet: Oberon (oberon.ssh')
Created by N. Wirth, Oberon is the successor of the Pascal and Modula-2 family of programming languages. It was specifically designed for systems programming, and was used to create the Oberon system in cooperation with J. Gutknecht. A few years later, the Oberon language was extended with additional object-oriented features to result in the programming language Oberon-2.

Implementation of the sheet based on The Oberon Reference Site.

Style Sheet: Objective C (objc.ssh')
Written by Paul Shum.

Style Sheet: Octave (octave.ssh')
Written by C.P. Earls.

Style Sheet: Oracle parameter file (initora.ssh')
Written by Pierre Mareschal. For init.ora parameter files.

Style Sheet: Oracle PL/SQL (plsql.ssh')
Written by Pierre Mareschal. This style is to be checked.

Style Sheet: Oracle SQL (sql.ssh')
Written by Pierre Mareschal. a2ps-sql Pretty Printer Version 1.0.0 beta - 18-MAR-97 For comments, support for -- /*..*/ and //. This style is to be checked.

Style Sheet: Oracle SQL-PL/SQL-SQL*Plus (oracle.ssh')
Written by Pierre Mareschal. 18-MAR-97 For comments, support for -- /*..*/ and //. This style is to be checked.

Style Sheet: Pascal (pascal.ssh')
The standard Pascal is covered by this style. But some extension have been added too, hence modern Pascal programs should be correctly handled. Heavy highlighting maps mathematical symbols to their typographic equivalents.

Style Sheet: Perl (perl.ssh')
Written by Denis Girou. As most interpreted languages, Perl is very free on its syntax, what leads to significant problems for a pretty printer. Please, be kind with our try. Any improvement is most welcome.

Style Sheet: PostScript (ps.ssh')
Only some keywords are highlighted, because otherwise listings are quickly becoming a big bold spot.

Style Sheet: PostScript Printer Description (ppd.ssh')

Style Sheet: PreScript (pre.ssh')
This style defines commands in the canonic syntax of a2ps. It is meant to be used either as an input language, and to highlight the table of contents etc.

It can be a good choice of destination language for people who want to produce text to print (e.g. pretty-printing, automated documentation etc.) but who definitely do not want to learn PostScript, nor to require the use of LaTeX.

Style Sheet: PreTeX (pretex.ssh')
This style sheets provides LaTeX-like commands to format text. It is an alternative to the PreScript style sheet, in which formating commands are specified in a more a2ps related syntax.

It provides by the use of LaTeX like commands, a way to describe the pages that this program should produce.

Style Sheet: Prolog (prolog.ssh')
Under construction.

Style Sheet: Promela (promela.ssh')
There is no way for this program to highlight send and receive primitives.

Style Sheet: Python (python.ssh')
Python is an easy to learn, powerful programming language. It has efficient high-level data structures and a simple but effective approach to object-oriented programming. Python's elegant syntax and dynamic typing, together with its interpreted nature, make it an ideal language for scripting and rapid application development in many areas on most platforms.

The Python interpreter and the extensive standard library are freely available in source or binary form for all major platforms from the Python web site, and can be freely distributed.

The same site also contains distributions of and pointers to many free third party Python modules, programs and tools, and additional documentation.

The Python interpreter is easily extended with new functions and data types implemented in C or C++ (or other languages callable from C). Python is also suitable as an extension language for customizable applications.

Style Sheet: Reference Card (card.ssh')
This style sheet is meant to process help messages generated by Unix applications. It highlights the options (-short or --long), and their arguments. Normal use of this style sheet is through the shell script card (part of the a2ps package), but a typical hand-driven use is:
program --help | a2ps -Ecard


Style Sheet: REXX (rexx.ssh')
Written by Alexander Mai. This style sheet supports REXX. You can get information about REXX from the REXX Language Association

Style Sheet: Sather (sather.ssh')
Sather is an object oriented language designed to be simple, efficient, safe, flexible and non-proprietary. One way of placing it in the space of languages' is to say that it aims to be as efficient as C, C++, or Fortran, as elegant as and safer than Eiffel, and support higher-order functions and iteration abstraction as well as Common Lisp, CLU or Scheme.

Heavy highlighting uses symbols for common mathematical operators.

Style Sheet: Scheme (scheme.ssh')
This style sheet is looking for a maintainer and/or comments.

Style Sheet: SDL-88 (sdl88.ssh')
Written by Jean-Philippe Cottin. --strip-level=2 is very useful: it cancels the graphical information left by graphic editors. Only the pure specification is then printed.

Style Sheet: SQL 92 (sql92.ssh')
Written by Pierre Mareschal. 18-MAR-97 This style is to be checked.

Style Sheet: Symbols (symbols.ssh')
This style sheet should be a precursor for any style sheet which uses LaTeX like symbols.

Style Sheet: TC Shell (tcsh.ssh')
Written by Jim Diamond. C shell with file name completion and command line editing.

Style Sheet: TeX (tex.ssh')
Written by Denis Girou. This is the style for (La)TeX files. It's mainly useful for people who develop (La)TeX packages. With -g', common mathematical symbols are represented graphically.

Style Sheet: Texinfo (texinfo.ssh')
Definitely being built. With the option -g, the nodes will be printed on separated pages which title is the name of the node.

Style Sheet: TeXScript (texscript.ssh')
TeXScript is the new name of what used to be called PreScript. New PreScript has pure a2ps names, PreTeX has pure TeX names, and TeXScript mixes both.

Style Sheet: tk (tk.ssh')
Written by Larry W. Virden. Since everything, or almost, is a string, what is printed is not always what you would like.

Style Sheet: Tool Command Language (tcl.ssh')
Written by Larry W. Virden. Since everything, or almost, is a string, what is printed is not always what you would like.

Style Sheet: Unified Diff (udiff.ssh')
This style is meant to be used onto the output unidiffs, that is to say output from diff -u'.

Typical use of this style is:

diff -u old new | a2ps -Eudiff


The prologue diff helps to highlight the differences (a2ps -Ewdiff --prologue=diff').

Style Sheet: Unity (unity.ssh')
Written by Jean-Philippe Cottin. The graphic conversion of the symbols (option -g') is nice.

Style Sheet: VERILOG (verilog.ssh')
Written by Edward Arthur. This style is devoted to the VERILOG hardware description language.

Style Sheet: VHDL (vhdl.ssh')
Written by Thomas Parmelan. Non-textual operators are not highlighted. Some logical operators are printed as graphical symbols in the second level of pretty-printing.

Style Sheet: Visual Tcl (vtcl.ssh')
Written by Phil Hollenback. All the Vtcl keywords that aren't in Tcl or TclX.

Style Sheet: VRML (vrml.ssh')
Written by Nadine Richard. According to Grammar Definition Version 2.0 ISO/IEC CD 14772

Style Sheet: wdiff (wdiff.ssh')
This style is meant to be used onto the output of Franc,ois Pinard's program wdiff. wdiff is a utility that underlines the differences of words between to files. Where diff make only the difference between lines that have changed, wdiff reports words that have changed inside the lines.

Typical use of this style is:

wdiff old new | a2ps -Ewdiff


wdiff can be found in usual GNU repositories. The prologue diff helps to highlight the differences (a2ps -Ewdiff --prologue=diff').

Style Sheet: Yacc (yacc.ssh')
Special tokens, and non terminal declarations are highlighted.

Style Sheet: Z Shell (zsh.ssh')
Zsh is a UNIX command interpreter (shell) usable as an interactive login shell and as a shell script command processor. Of the standard shells, zsh most closely resembles ksh but includes many enhancements. Zsh has comand line editing, builtin spelling correction, programmable command completion, shell functions (with autoloading), a history mechanism, and a host of other features.

## 7.3 Type Setting Style Sheets

This section presents a few style sheets that define page description languages (compared to most other style sheet meant to pretty print source files).

### 7.3.1 Symbol

The style sheet Symbol introduces easy to type keywords to obtain the special characters of the PostScript font Symbol. The keywords are named to provide a LaTeX taste. These keywords are also the names used when designing a style sheet, hence to get the full list, see section 7.6.1 A Bit of Syntax.

If you want to know the correspondence, it is suggested to print the style sheet file of Symbol:

a2ps -g symbol.ssh


### 7.3.2 PreScript

PreScript has been designed in conjunction with a2ps. Since bold sequences, special characters etc. were implemented in a2ps, we thought it would be good to allow direct access to those features: PreScript became an input language for a2ps, where special font treatments are specified in an ssh syntax (see section 7.6 Style Sheets Implementation).

The main advantages for using PreScript are:

• it is fairly simple,
• a2ps is small and easy to install, hence it is available on every UNIX platform.

It can be a good candidate for generation of PostScript output (syntactic pretty-printers, generation of various reports etc.).

#### 7.3.2.1 Syntax

Every command name begins with a backslash (\'). If the command uses an argument, it is given between curly braces with no spaces between the command name and the argument.

The main limit on PreScript is that no command can be used inside another command. For instance the following line will be badly interpreted by a2ps:

\Keyword{Problems using \keyword{recursive \copyright} calls}


The correct way to write this in PreScript is

\Keyword{Problems using} \keyword{recursive} \copyright \Keyword{calls}.


Everything from an unquoted % to the end of line is ignored (comments).

#### 7.3.2.2 PreScript Commands

These commands required arguments.

\keyword{text}'
\Keyword{text}'
Highlight lightly/strongly the given text. Should be used only for a couple of adjacent words.
\comment{text}'
\Comment{text}'
The text is given a special face. The text may be removed if option --strip' is used.
\label{text}'
\Label{text}'
text should be considered as a definition, or an important point in the structure of the whole text.
\string{text}'
Write text with string's face (e.g., in font Times).
\error{text}'
Write text with error's face (generally a very different face, so that you see immediately).
\symbol{text}'
text is written in the PostScript symbol font. This feature is not compatible with LaTeX. It is recommended, when possible, to use the special keywords denoting symbols, which are compatible with LaTeX (see section 7.3.1 Symbol).
\footer{text}'
Use text as header (footer) for the current page. If several headers or footers are defined on the same page, the last one is taken into account.
\encoding{key}'
Change dynamically the current encoding. After this command, the text is printed using the encoding corresponding to key.

#### 7.3.2.3 Examples

PreScript and a2ps can be used for one-the-fly formating. For instance, on the passwd' file:

ypcat passwd |
awk -F: \
'{print "\Keyword{" $5 "} ("$1 ") \rightarrow\keyword{" $7 "}"}'\ | a2ps -Epre -P  ### 7.3.3 PreTeX The aim of the PreTeX style sheet is to provide something similar to PreScript, but with a more LaTeX like syntax. #### 7.3.3.1 Special characters $' is ignored in PreTeX for compatibility with LaTeX, and %' introduces a comment. Hence they are the only symbols which have to be quoted by a \'. The following characters should also be quoted to produce good LaTeX files, but are accepted by PreScript: _', &', #'.

Note that inside a command, like \textbf, the quotation mechanism does not work in PreScript (\textrm{#$%} writes #$%') though LaTeX still requires quotation. Hence whenever special characters or symbols are introduced, they should be at the outer most level.

#### 7.3.3.2 PreTeX Commands

These commands required arguments.

\section{Title}'
\subsection{Title}'
\subsubsection{Title}.'
Used to specify the title of a section, subsection or subsubsection.
\textbf{text}'
\textit{text}'
\textbi{text}'
\textrm{text}'
write text in bold, italic, bold-italic, Times. Default font is Courier.
\textsy{text}'
text is written in the PostScript symbol font. This feature is not compatible with LaTeX. It is recommended, when possible, to use the special keywords denoting symbols, which are compatible with LaTeX (See the style sheet Symbol).
\header{text}'
\footer{text}'
Use text as header (footer) for the current page. If several headers or footers are defined on the same page, the last one is taken into account.
\verb+text+'
Quote text so that no special sequence will be interpreted. In \verb+quoted string+' +' can be any symbol in +', !', |', #', ='.
\begin{document}'
\end{document}'
\begin{itemize}'
\end{itemize}'
\begin{enumerate}'
\end{enumerate}'
\begin{description}'
\end{description}'
These commands are legal in LaTeX but have no sense in PreTeX. Hence there are simply ignored and not printed (if immediately followed by an end-of-line).

#### 7.3.3.3 Differences with LaTeX

The following symbols, inherited from the style sheet Symbol, are not supported by LaTeX:

\Alpha', \apple', \Beta', \carriagereturn', \Chi', \Epsilon', \Eta', \florin', \Iota', \Kappa', \Mu', \Nu', \Omicron', \omicron', \radicalex', \register', \Rho', \suchthat', \Tau', \therefore', \trademark', \varUpsilon', \Zeta'.

LaTeX is more demanding about special symbols. Most of them must be in so-called math mode, which means that the command must be inside $' signs. For instance, though If \forall x \in E, x \in F then E \subseteq F.  is perfectly legal in PreTeX, it should be written If$\forall x \in E, x \in F$then$E \subseteq F$.  for LaTeX. Since in PreTeX every $' is discarded (unless quoted by a \'), the second form is also admitted.

### 7.3.4 TeXScript

TeXScript is a replacement of the old version of PreScript: it combines both the a2ps-like and the LaTeX-like syntaxes through inheritance of both PreScript and PreTeX.

In addition it provides commands meant to ease processing of file for a2ps by LaTeX.

Everything between %%TeXScript:skip' and %%TeXScript:piks' will be ignored in TeXScript, so that there can be inserted command definitions for LaTeX exclusively.

The commands \textbi' (for bold-italic) and \textsy' (for symbol) do not exist in LaTeX. They should be defined in the preamble:

%%TeXScript:skip
\newcommand{\textbi}[1]{\textbf{\textit{#1}}}
\newcommand{\textsy}[1]{#1}
%%TeXScript:piks


There is no way in TeXScript to get an automatic numbering. There is no equivalent to the LaTeX environment enumerate. But every command beginning by \text is doubled by a command beginning by \magic'. a2ps behaves the same way on both families of commands. Hence, if one specifies that arguments of those functions should be ignored in the preamble of the LaTeX document, the numbering is emulated. For instance

\begin{enumerate}
\magicbf{1.}\item First line
\magicbf{2.}\item Second line
\end{enumerate}


will be treated the same way both in TeXScript and LaTeX.

\header' and \footer', are not understood by LaTeX.

## 7.4 Faces

A face is an attribute given to a piece of text, which specifies how it should look like. Since a2ps is devoted to pretty-printing source files, the faces it uses are related to the syntactic entities that can be encountered in a file.

The faces a2ps uses are:

Plain'
This corresponds to the text body.
Keyword'
Keyword_strong'
These are related to the keywords that may appear in a text.
Comment'
Comment_strong'
These are related to comments in the text. Remember that comments should be considered as non essential ("Aaaeaaarg" says the programmer); indeed, the user might suppress the comments thanks (?) to the option --strip-level'. Hence, never use these faces just because you think they look better on, say, strings.
Label'
Label_strong'
These are used when a point of extreme importance, or a sectioning point, is met. Typically, functions declarations etc.
String'
Used mainly for string and character literals.
Error'
Used to underline the presence of an error. For instance in Encapsulated PostScript, some PostScript operators are forbidden: they are underlined as errors.

Actually, there is also the face Symbol', but this one is particular: it is not legal changing its font.

## 7.5 Style Sheets Semantics

a2ps pretty prints a source file thanks to style sheets, one per language. In the following is described how the style sheets are defined. You may skip this section if you don't care how a2ps does this, and if you don't expect to implement new styles.

### 7.5.1 Name and key

Every style sheet has both a key, and a name. The name can be clean and beautiful, with any character you might want. The key is in fact the prefix part of the file name, and is alpha-numerical, lower case, and less than 8 characters long.

Anywhere a2ps needs to recognize a style sheet by a name, it uses the key (in the sheets.map' file, with the option -E', etc.).

As an example, C++ is implemented in a file called cpp.ssh', in which the name is declared to be C++'.

The rationale is that not every system accepts any character in the file name (e.g., no +' in MS-DOS). Moreover, it allows to make symbolic links on the ssh files (e.g., ln -s cpp.ssh c++.ssh' let's you use -E c++').

ssh files can include the name of its author, a version number, a documentation note and a requirement on the version of a2ps. For instance, if a style sheet requires a2ps version 4.9.6, then a2ps version 4.9.5 will reject it.

### 7.5.3 Alphabets

a2ps needs to know the beginning and the end of a word, especially keywords. Hence it needs two alphabets: the first one specifying by which letters an identifier can begin, and the second one for the rest of the word. If you prefer, a keyword starts with a character belonging to the first alphabet, and a character not pertaining to the second is a separator.

### 7.5.4 Case sensitivity

If the style is case insensitive, then matching is case insensitive (keywords, operators and sequences).

### 7.5.5 P-Rules

A P-rule (Pretty printing rule), or rule for short, is a structure which consists of two items:

lhs
left-hand side
its source string, with which the source file is compared;
rhs
right hand side
a list of faced strings which will replace the text matched in the pretty-printed output. A faced string is composed of
• a string, or a reference to a part of the source string (see section Back-reference Operator' in Regex manual)
• the face to use to print it

Just a short example: (foo, bar, Keyword_strong)' as a rule means that every input occurrence of foo' will be replaced by bar', written with the Keyword_strong face.

If the destination string is empty, then a2ps will use the source string. This is different from giving the source string as a destination string if the case is different. An example will make it fairly clear.

Let foobar be a case insensitive style sheet including the rules (foo, "", Keyword)' and (bar, bar, Keyword)'. Then, on the input FOO BAR', a2ps will produce FOO bar' in Keyword.

a2ps implements two different ways to match a string. The difference comes from that some keywords are sensitive to the delimiters around them (such as unsigned' and int' in C, which are definitely not the same thing as unsignedint'), and others not (in C, !=' is "different from" both in a != b' and a!=b').

The first ones are called keywords in a2ps jargon, and the seconds are operators. Operators are matched anywhere they appear, while keywords need to have separators around them (see section 7.5.3 Alphabets).

Let us give a more complicated example: that of the Yacc rules. A rule in Yacc is of the form:

a_rule : part1 part2 ;


Suppose you want to highlight these rules. To recognize them, you will write a regular expression specifying that:

1. it must start at the beginning of the line,
2. then there is string composed of symbols, which is what you want to highlight,
3. and a colon, which can be preceded by blank characters.

The regexp you want is: /^[a-zA-Z0-9_]*[\t ]*:/'. But with the rule

/^[a-zA-Z0-9_]*[\t ]*:/, "", Label_strong


the blanks and the colon are highlighted too. Hence you need to specify some parts in the regexp (see section Back-reference Operator' in Regex manual), and use a longer list of destination strings. The correct rule is

(/^\$$[a-zA-Z0-9_]*\$$\$$[\t ]*:\$$/, \1 Label_strong, \2 Plain)


Since it is a bit painful to read, regexps can be spread upon several lines. It is strongly suggested to break them by groups, and to document the group:

(/^\$$[a-zA-Z0-9_]*\$$/    # \1. Name of the rule
/\$$[\t ]*:\$$/           # \2. Trailing space and colon
\1 Label_strong, \2 Plain)


### 7.5.6 Sequences

A sequence is a string between two markers, along with a list of exceptions. A marker is a fixed string. Typical examples are comments, string (with usually "' as opening and closing markers, and \\' and \"' as exceptions) etc. Three faces are used: one for the initial marker, one for the core of the sequence, and a last one for the final maker.

### 7.5.7 Optional entries

There are two levels of pretty-printing encoded in the style sheets. By default, a2ps uses the first level, called normal, unless the option -g' is specified, in which case, heavy highlighting is invoked, i.e., optional keywords, operators and sequences are considered.

## 7.6 Style Sheets Implementation

In the previous section (see section 7.5 Style Sheets Semantics) were explained the various items needed to understand the machinery involved in pretty printing. Here, their implementation, i.e., how to write a style sheet file, is explained. The next section (see section 7.7 A Tutorial on Style Sheets), exposes a step by step simple example.

### 7.6.1 A Bit of Syntax

Here are the lexical rules underlying the style sheet language:

• the separators are white space, form feed, new line, and tab.
• #' introduces a comment, ended at the end of the line.
• special characters are the separators, plus #', "', ,', (', )', +' and /'. Any other character is a regular character.
• the list of the structuring keywords is

alphabet, alphabets, are, case, documentation, end, exceptions, first, in, insensitive, is, keywords, operators, optional, second, sensitive, sequences, style

• the list of the keywords designating faces is

Comment, Comment_strong, Encoding, Error, Index1, Index2, Index3, Index4, Invisible, Keyword, Keyword_strong, Label, Label_strong, Plain, String, Symbol, Tag1, Tag2, Tag3, Tag4

• the list of keywords designating special sequences is

C-char, C-string

• the list of keywords representing special characters is

---, \Alpha, \Beta, \Chi, \Delta, \Downarrow, \Epsilon, \Eta, \Gamma, \Im, \Iota, \Kappa, \Lambda, \Leftarrow, \Leftrightarrow, \Mu, \Nu, \Omega, \Omicron, \Phi, \Pi, \Psi, \Re, \Rho, \Rightarrow, \Sigma, \Tau, \Theta, \Uparrow, \Upsilon, \Xi, \Zeta, \aleph, \alpha, \angle, \approx, \beta, \bullet, \cap, \carriagereturn, \cdot, \chi, \circ, \clubsuit, \cong, \copyright, \cup, \delta, \diamondsuit, \div, \downarrow, \emptyset, \epsilon, \equiv, \eta, \exists, \florin, \forall, \gamma, \geq, \heartsuit, \in, \infty, \int, \iota, \kappa, \lambda, \langle, \lceil, \ldots, \leftarrow, \leftrightarrow, \leq, \lfloor, \mu, \nabla, \neq, \not, \not\in, \not\subset, \nu, \omega, \omicron, \oplus, \otimes, \partial, \perp, \phi, \pi, \pm, \prime, \prod, \propto, \psi, \radicalex, \rangle, \rceil, \register, \rfloor, \rho, \rightarrow, \sigma, \sim, \spadesuit, \subset, \subseteq, \suchthat, \sum, \supset, \supseteq, \surd, \tau, \theta, \therefore, \times, \trademark, \uparrow, \upsilon, \varUpsilon, \varcopyright, \vardiamondsuit, \varphi, \varpi, \varregister, \varsigma, \vartheta, \vartrademark, \vee, \wedge, \wp, \xi, \zeta

It is a good idea to print the style sheet symbols.ssh' to see them:
a2ps symbols.ssh

• a string starts and finishes with "', and may contain anything. Regular C escaping mechanism is used.
• a regular expression starts and finishes with /', and may contain anything. Regular C escaping mechanism is used. Regexps can be split in several parts, a la C strings (i.e., /part 1/ /part 2/').
• any sequence of regular characters which is not a keyword, is a string (consider this as a shortcut, avoiding extraneous "').

The definition of the name of the style sheet is:

style name is
# body of the style sheet
end style


The following constructions are optional:

version
To define the version number of the style sheet
version is version-number

written
To define the author(s).
written by authors

written by "Some Body <Some.Body@some.whe.re>"

requires
To specify the version of a2ps it requires. a2ps won't accept a file which requires a higher version number than its own.
requires a2ps a2ps-version-number

documentation
documentation is
strings
end documentation

strings may be a list of strings, without comas, in which case new lines are automatically inserted between each item. See section 5.1 Documentation Format, for details on the format. Please, write useful comments, not This style is devoted to C files', since the name is here for that, nor Report errors to mail@me.somewhere', since written by is there for that.
documentation is
"Not all the keywords are used, to avoid too much"
"bolding. Heavy highlighting (code(-g)code), covers"
"the whole language."
end documentation


### 7.6.3 Syntax of the Words

There are two things a2ps needs to know: what is symbol consistent, and whether the style is case insensitive.

alphabet
To define two different alphabets, use
first alphabet is string
second alphabet is string

If both are identical, you may use the shortcut
alphabets are string

The default alphabets are
first alphabet is
"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_"
second alphabet is
"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_\
0123456789"

Note that it is on purpose that no characters interval are used.
case
case insensitive        # e.g., C, C++ etc.
case sensitive          # e.g., Perl, Sather, Java etc.

The default is case insensitive.

### 7.6.4 Inheriting from Other Style Sheets

It is possible to extend an existing style. The syntax is:

ancestors are
ancestor_1[, ancestor_2...]
end ancestors


where ancestor1 etc. are style sheet keys.

For semantics, the rules are the following:

• the ancestors are read in order;
• the definition of the current style is read last;
• it is always the last item read which wins (last defined alphabets, case sensitivity, keywords, operators and sequences).

As an example, both C++ and Objective C style sheets extend the C style sheet:

style "Objective C" is
#[...]
ancestors are
c
end ancestors
#[...]
end style


To the biggest surprise of the author, mutually dependent style sheets do work!

### 7.6.5 Syntax for the P-Rules

See section 7.5.5 P-Rules, for the definition of P-rule.

Because of various short cuts, there are many ways to declare a rule:

rules     ::= rule_1 ,' rule_2...
rule      ::= (' lhs rhs )'
| lhs srhs ;
lhs       ::= string | regex ;
rhs       ::= srhs ,' ...
srhs      ::= latex-keyword | expansion face
expansion ::= string | \'num | <nothing>;
face      ::= face-keyword | <nothing>;


The rules are the following:

• If the left-hand side (lhs) is a regular expression, then it is compiled with the following syntax bits:
#define RE_SYNTAX_A2PS \
(RE_SYNTAX_EMACS | RE_CHAR_CLASSES | RE_INTERVALS)

See section Regular Expression Syntax' in Regex manual, for detailed description of the regular expressions used.
• If no expansion is specified, then the matched string is used. For instance (/fo*/, NULL, Keyword)' applied on the source fooooo' produces fooooo' in Keyword.
• If no face is given, then
• if the context defines the default face, then this face is used;
• if no default face is given, PLAIN is used.

### 7.6.6 Declaring the keywords and the operators

Basically, keywords and operators are lists of rules. The syntax is:

keywords are
rules
end keywords


or

keywords in face-keyword are
rules
end keywords


in which case the default face is set to face-keyword.

As an example:

keywords in Keyword_strong are
/foo*/,
"bar" "BAR" Keyword,
-> \rightarrow
end keywords


is valid.

The syntax for the operators is the same, and both constructs can be qualified with an optional flag, in which case they are taken into account in the heavy highlighting mode (see section 3.1.7 Pretty Printing Options).

This is an extract of the C style sheet:

optional operators are
-> \rightarrow,
&& \wedge,
|| \vee,
!= \neq,
== \equiv,
# We need to protect these, so that <= is not replaced in <<=
<<=,
>>=,
<= \leq,
>= \geq,
! \not
end operators


Note how <<=' and >>=' are protected (there are defined to be written as is when met in the source). This is to prevent the two last characters of <<=' from being converted into a less or equal' sign.

The order in which you define the elements of a category (but the sequences) does not matter. But since a2ps sorts them at run time, it may save time if the alphabetical C-order is more or less followed.

You should be aware that when declaring a keyword with a regular expression as lhs, then a2ps automatically makes this expression matching only if there are no character of the first alphabet both just before, and just after the string.

In term of implementation, it means that

keywords are
/foo\\|bar/
end keywords


is exactly the same as

operators are
/\\b\$$foo\\|bar\$$\\b/
end operators


This can cause problems if you use anchors (e.g. $, or ^) in keywords: the matcher will be broken. In this particular case, define your keywords as operators, taking care of the \\b' by yourself. See section Match-word-boundary Operator' in Regex manual, for details on \b'. ### 7.6.7 Declaring the sequences Sequences admit several declarations too: sequences ::= sequences are sequence_1 ,' sequence_2... end sequences sequence ::= rule in_face close_opt exceptions_opt | C-string | C-char ; close_opt ::= rule | closers are rules end closers | <nothing> ; exceptions_opt ::= exceptions are rules end exceptions | <nothing> ;  The rules are: • The default face is then in_face. • If no closing rule is given, "\n"' (i.e., end-of-line) is used. As a first example, the definition of C-string is: sequences are "\"" Plain String "\"" Plain exceptions are "\\\\", "\\\"" end exceptions end sequences  The following example comes from ssh.ssh', the style sheet for style sheet files, in which there are two kinds of pseudo-strings: the strings ("example"'), and the regular expressions (/example/'). We do not want the content of the pseudo-strings in the face String. sequences are # The comments "#" Comment, # The name of the style sheet "style " Keyword_strong (Label + Index1) " is" Keyword_strong, # Strings are exactly the C-strings, though we don't want to # have them in the "string" face "\"" Plain "\"" exceptions are "\\\\", "\\\"" end exceptions, # Regexps "/" Plain "/" exceptions are "\\\\", "\\\/" end exceptions end sequences  The order between sequences does matter. For instance in Java, /**' introduces strong comments, and /*' comments. /**' must be declared before /*', or it will be hidden. There are actually some sequences that could have been implemented as operators with a specific regular expression (that goes up to the closer). Nevertheless be aware of a big difference: regular expression are applied to a single line of the source file, hence, they cannot match on several lines. For instance, the C comments, /* * a comment */  cannot be implemented with operators, though C++ comments can: // // a comment //  ### 7.6.8 Checking a Style Sheet Once your style sheet is written, you may want to let a2ps perform simple tests on it (e.g., checking there are no rules involving upper case characters in a case insensitive style sheet, etc.). These tests are performed when verbosity includes the style sheets. you may also want to use the special convention that when a style sheet is required with a suffix, then a2ps will not look at it in its library path, but precisely from when you are. Suppose for instance you extended the c.ssh' style sheet, which is in the current directory, and is said case insensitive. Run ubu$ a2ps foo.c -Ec.ssh -P void -v sheets
# Long output deleted
Checking coherence of "C" (c.ssh)
a2ps: c.ssh:FILE' uses upper case characters
a2ps: c.ssh:NULL' uses upper case characters
"C" (c.ssh) is corrupted.
---------- End of Finalization of c.ssh


Here, it is clear that C is not case insensitive.

## 7.7 A Tutorial on Style Sheets

In this section a simple example of style sheet is entirely covered: that of ChangeLog' files.

ChangeLog' files are some kind of memory of changes done to files, so that various programmers can understand what happened to the sources. This helps a lot, for instance, in guessing what recent changes may have introduced new bugs.

### 7.7.1 Example and syntax

First of all, here is a sample of a ChangeLog' file, taken from the misc/' directory of the original a2ps package:

Sun Apr 27 14:29:22 1997  Akim Demaille  <demaille@inf.enst.fr>

* base.ps: Merged in color.ps, since now a lot is
common [added box and underline features].

Fri Apr 25 14:05:20 1997  Akim Demaille  <demaille@inf.enst.fr>

* color.ps: Added box and underline routines.

Mon Mar 17 20:39:11 1997  Akim Demaille  <demaille@gargantua.enst.fr>

* base.ps: Got rid of CourierBack and reencoded_backspace_font.
Now the C has to handle this by itself.

Sat Mar  1 19:12:22 1997  Akim Demaille  <demaille@gargantua.enst.fr>

* *.enc: they build their own dictionaries, to ease multi
lingual documents.


The syntax is really simple: A line specifying the author and the date of the changes, then a list of changes, all of them starting with an star followed by the name of the files concerned, then optionally between parentheses the functions affected, and then some comments.

### 7.7.2 Implementation

Quite naturally the style will be called ChangeLog, hence:

style ChangeLog is
written by "Akim Demaille <demaille@inf.enst.fr>"
version is 1.0
requires a2ps 4.9.5

documentation is
"This is a tutorial style sheet.\n"
end documentation
...
end style


A first interesting and easy entry is that of function names, between (' and )':

sequences are
"(" Plain Label ")" Plain
end sequences


A small problem that may occur is that there can be several functions mentioned separated by commas, that we don't want to highlight this way. Commas, here, are exceptions. Since regular expressions are not yet implemented in a2ps, there is a simple but stupid way to avoid that white spaces are all considered as part of a function name, namely defining two exceptions: one which captures a single comma, and a second, capturing a comma and its trailing space.

For the file names, the problem is a bit more delicate, since they may end with :', or when starts the list of functions. Then, we define two sequences, each one with one of the possible closers, the exceptions being attached to the first one:

sequences are
"* " Plain Label_strong ":" Plain
exceptions are
", " Plain, "," Plain
end exceptions,
"* " Plain Label_strong " " Plain
end sequences


Finally, let us say that some words have a higher importance in the core of text: those about removing or adding something.

keywords in Keyword_strong are
end keywords


Since they may appear in lower or upper, of mixed case, the style will be defined as case insensitive.

Finally, we end up with this style sheet file, in which an optional highlighting of the mail address of the author is done. Saving the file is last step. But do not forget that a style sheet has both a name as nice as you may want (such as Common Lisp'), and a key on which there are strict rules: the prefix must be alpha-numerical, lower case, with no more than 8 characters. Let's chose chlog.ssh'.

# This is a tutorial on a2ps' style sheets
style ChangeLog is
written by "Akim Demaille <demaille@inf.enst.fr>"
version is 1.0
requires a2ps 4.9.5

documentation is
"Second level of high lighting covers emails."
end documentation

sequences are
"(" Plain Label ")" Plain
exceptions are
", " Plain, "," Plain
end exceptions,
"* " Plain Label_strong ":" Plain
exceptions are
", " Plain, "," Plain
end exceptions,
"* " Plain Label_strong " " Plain
end sequences

keywords in Keyword_strong are
end keywords

optional sequences are
< Plain Keyword > Plain
end sequences
end style


As a last step, you may which to let a2ps check your style sheet, both its syntax, and common errors:

ubu \$ a2ps -vsheet -E/tmp/chlog.ssh ChangeLog -P void
Long output deleted
Checking coherence of "ChangeLog" (/tmp/chlog.ssh)
"ChangeLog" (/tmp/chlog.ssh) is sane.
---------- End of Finalization of /tmp/chlog.ssh


### 7.7.3 The Entry in sheets.map'

The last touch is to include the pattern rules about ChangeLog' files (which could appear as ChangeLog.old' etc.) in sheets.map':

# ChangeLog files
ChangeLog*                 chlog


This won't work... Well, not always. Not for instance if you print misc/ChangeLog'. This is not a bug, but truly a feature, since sometimes one gets more information about the type of a file from its path, than from the file name.

Here, to match the preceding path that may appear, just use *':

# ChangeLog files
*ChangeLog*                chlog


If you want to be more specific (FooChangeLog' should not match), use:

# ChangeLog files
ChangeLog*                 chlog
*/ChangeLog*               chlog


### 7.7.4 More Sophisticated Rules

The example we have presented until now uses only basic features, and does not take advantage of the regexp. In this section we should how to write more evolved pretty printing rules.

The target will be the lines like:

Sun Apr 27 14:29:22 1997  Akim Demaille  <demaille@inf.enst.fr>

Fri Apr 25 14:05:20 1997  Akim Demaille  <demaille@inf.enst.fr>


There are three fields: the date, the name, the mail. These lines all start at the beginning of line. The last field is the easier to recognize: is starts with a <', and finishes with a >'. Its rule is then /<[^>]+>/'. It is now easier to specify the second: it is composed only of words, at least one, separated by blanks, and is followed by the mail: /[[:alpha:]]+\$$[ \t]+[[:alpha:]]+\$$*/'. To concatenate the two, we introduce optional blanks, and we put each one into a pair of \$$'-\$$' to make each one a recognizable part:

\$$[[:alpha:]]+\\([ \t]+[[:alpha:]]+\$$*\\)
\$$.+\$$
\$$<[^>]+>\$$


Now the first part is rather easy: it starts at the beginning of the line, finishes with a digit. Once again, it is separated from the following field by blanks. Split by groups (see section Grouping Operators' in Regex manual), we have:

^
\$$[^\t ].*[0-9]\$$
\$$[ \t]+\$$
\$$[[:alpha:]]+\\([ \t]+[[:alpha:]]+\$$*\\)
\$$.+\$$
\$$<[^>]+>\$$


Now the destination is composed of back references to those groups, together with a face:

# We want to highlight the date and the maintainer name
optional operators are
(/^\$$[^\t ].*[0-9]\$$/                        # \1. The date
/\$$[ \t]+\$$/                                # \2. Spaces
/\$$[[:alpha:]]+\\([ \t]+[[:alpha:]]+\$$*\\)/ # \3. Name
/\$$.+\$$/                                    # \5. space and <
/\$$<[^>]+\$$>/                               # \6. email
\1 Keyword, \2 Plain, \3 Keyword_strong,
\5 Plain, \6 Keyword, > Plain)
end operators


Notice the way regexps are written, to ease reading.

### 7.7.5 Guideline for Distributed Style Sheets

This section is meant for people who wish to contribute style sheets. There is a couple of additional constraints, explained here.

The sheets.map' Entries