1% This has been generated by a2ps version 4.8.2
2% It should be processed by either LaTeX or
3% a2ps with options -Epre to be printable.
4%
5
6%%prescript:skip
7% a2ps skips everything between this line, and the one with `piks'
8
9\documentclass{article}
10
11
12%% These are LaTeX commands for prescript primitives.
13\newcommand{\textbi}[1]{\textbf{\textit{#1}}}
14\newcommand{\textsy}[1]{#1}
15\newcommand{\keyword}[1]{\textbf{#1}}
16\newcommand{\Keyword}[1]{\textbf{#1}}
17\newcommand{\comment}[1]{\textit{#1}}
18\newcommand{\Comment}[1]{\textit{#1}}
19\newcommand{\label}[1]{\textit{#1}}
20\newcommand{\Label}[1]{\textit{#1}}
21\newcommand{\string}[1]{``\textit{#1}''}
22
23%% These are made to be forgotten by LaTeX but seen by a2ps
24%% To get a better LaTeX file, remove any occurrence.
25\newcommand{\magicbf}[1]{}
26\newcommand{\magicit}[1]{}
27\newcommand{\magicbi}[1]{}
28\newcommand{\magicrm}[1]{}
29\newcommand{\magicsy}[1]{}
30\newcommand{\magictt}[1]{}
31
32
33%% There might be a better way to handle these
34\newcommand{\footer}[1]{}
35\newcommand{\header}[1]{}
36
37
38%% These symbols are available in ps but not in LaTeX.
39\newcommand{\carriagereturn}{$\backslash$n}
40\newcommand{\suchthat}{``suchthat''}
41\newcommand{\therefore}{``therefore''}
42\newcommand{\radicalex}{``radicalex''}
43\newcommand{\florin}{``florin''}
44\newcommand{\lozenge}{\diamondsuit}
45\newcommand{\register}{``register''}
46\newcommand{\trademark}{(TM)}}
47\newcommand{\varcopyright}{\copyright}
48\newcommand{\vartrademark}{\trademark}
49\newcommand{\varregister}{\register}
50\newcommand{\apple}{``apple''}
51\newcommand{\Alpha}{A}
52\newcommand{\Beta}{B}
53\newcommand{\Chi}{X}
54\newcommand{\Epsilon}{E}
55\newcommand{\Eta}{H}
56\newcommand{\Iota}{I}
57\newcommand{\Kappa}{K}
58\newcommand{\Mu}{M}
59\newcommand{\Nu}{N}
60\newcommand{\Omicron}{O}
61\newcommand{\Rho}{P}
62\newcommand{\Tau}{T}
63\newcommand{\Zeta}{Z}
64\newcommand{\varUpsilon}{\Upsilon}
65\newcommand{\omicron}{o}
66%%prescript:piks
67\begin{document}
68\textbi{This is the automatic report about styles of a2ps, version 4.8.2}
69
70\footer{Style sheets of a2ps version 4.8.2}
71\header{a2ps report}
72
73
74
75\section{Style definitions}
76\textrm{The reader should first note that a2ps is _not_ a powerful syntactical pretty-printer: it just handles lexical structures, i.e., if in your language} IF IF == THEN THEN ELSE := IF ELSE ELSE := THEN \textrm{is legal, then a2ps is not the tool you need.  It is for the same reason that you can't expect a2ps to highlight the function definitions in C.
77In the following is described how the style sheets are defined.  You can skip this section if you don't care how a2ps does this, and if you don't expect to implement new styles.}
78
79\section{Consistancy}
80\textrm{There are no found problems in the styles.}
81
82
83\section{Known languages}
84\begin{enumerate}
85\magictt{ 1}\item ada
86\magictt{ 2}\item c
87\magictt{ 3}\item c++
88\magictt{ 4}\item caml
89\magictt{ 5}\item claire
90\magictt{ 6}\item coq-vernacular
91\magictt{37}\item Unity
92\magictt{38}\item VERILOG
93\magictt{39}\item VHDL
94\magictt{40}\item zsh
95\end{enumerate}
96
97
98
99\section{Description of the language styles}
100\magicbf{1} \subsection{ada style}
101\begin{itemize}
102\header{ada style}
103\item \textrm{the abbreviation are:} adb, ads.
104\item \textrm{first alphabet is:}
105'\verb|A|\verb|B|\verb|C|\verb|D|\verb|E|\verb|F|\verb|G|\verb|H|\verb|I|\verb|J|\verb|K|\verb|L|\verb|M|\verb|N|\verb|O|\verb|P|\verb|Q|\verb|R|\verb|S|\verb|T|\verb|U|\verb|V|\verb|W|\verb|X|\verb|Y|\verb|Z|'(65-90), '\verb|a|\verb|b|\verb|c|\verb|d|\verb|e|\verb|f|\verb|g|\verb|h|\verb|i|\verb|j|\verb|k|\verb|l|\verb|m|\verb|n|\verb|o|\verb|p|\verb|q|\verb|r|\verb|s|\verb|t|\verb|u|\verb|v|\verb|w|\verb|x|\verb|y|\verb|z|'(97-122), '\verb|_|'(95), '\verb|)|'(41).
106\item \textrm{second alphabet is:}
107'\verb|0|\verb|1|\verb|2|\verb|3|\verb|4|\verb|5|\verb|6|\verb|7|\verb|8|\verb|9|'(48-57), '\verb|A|\verb|B|\verb|C|\verb|D|\verb|E|\verb|F|\verb|G|\verb|H|\verb|I|\verb|J|\verb|K|\verb|L|\verb|M|\verb|N|\verb|O|\verb|P|\verb|Q|\verb|R|\verb|S|\verb|T|\verb|U|\verb|V|\verb|W|\verb|X|\verb|Y|\verb|Z|'(65-90), '\verb|a|\verb|b|\verb|c|\verb|d|\verb|e|\verb|f|\verb|g|\verb|h|\verb|i|\verb|j|\verb|k|\verb|l|\verb|m|\verb|n|\verb|o|\verb|p|\verb|q|\verb|r|\verb|s|\verb|t|\verb|u|\verb|v|\verb|w|\verb|x|\verb|y|\verb|z|'(97-122), '\verb|_|'(95), '\verb|'|'(39).
108\item \textrm{keywords, symbols and sequences recognition is case insensitive.}
109\item \textrm{the keywords are:}
110\Keyword{abort}, %
111\Keyword{abs}, \Keyword{abstract}, \Keyword{accept}, \Keyword{access}, %
112\Keyword{access function}, \Keyword{access procedure}, \Keyword{aliased}, \Keyword{all}, %
113\Keyword{and}, \Keyword{array}, \Keyword{at}, \Keyword{begin}, %
114\Keyword{body}, \Keyword{case}, \Keyword{constant}, \Keyword{declare}, %
115\Keyword{delay}, \Keyword{delta}, \Keyword{digits}, \Keyword{do}, %
116\Keyword{else}, \Keyword{elsif}, \Keyword{end}, \Keyword{entry}, %
117\Keyword{exception}, \Keyword{exit}, \Keyword{for}, \Keyword{function}, %
118\Keyword{generic}, \Keyword{goto}, \Keyword{if}, \Keyword{in}, %
119\Keyword{is}, \Keyword{limited}, \Keyword{loop}, \Keyword{mod}, %
120\Keyword{new}, \Keyword{not}, \Keyword{null}, \Keyword{of}, %
121\Keyword{or}, \Keyword{others}, \Keyword{out}, \Keyword{package}, %
122\Keyword{pragma}, \Keyword{private}, \Keyword{procedure}, \Keyword{protected}, %
123\Keyword{raise}, \Keyword{range}, \Keyword{record}, \Keyword{rem}, %
124\Keyword{renames}, \Keyword{requeue}, \Keyword{return}, \Keyword{reverse}, %
125\Keyword{select}, \Keyword{separate}, \Keyword{subtype}, \Keyword{tagged}, %
126\Keyword{task}, \Keyword{terminate}, \Keyword{then}, \Keyword{type}, %
127\Keyword{until}, \Keyword{use}, \Keyword{when}, \Keyword{while}, %
128\Keyword{with}, \Keyword{xor}.
129\item \textrm{the regular symbols are:}
130\item \textrm{the special symbols are:}
131\verb#!=# $\to$ $\neq$, %
132\verb!==! $\to$ $\equiv$, \verb!<=! $\to$ $\leq$, %
133\verb!>=! $\to$ $\geq$, \verb!=>! $\to$ $\Rightarrow$.
134\item \textrm{the sequences are:}
135\verb!--inside$! $\to$ \comment{--}\comment{inside}\$, %
136\verb!"inside"! $\to$ \texttt{"}\string{inside}\texttt{"}, %
137\verb!'inside'! $\to$ \texttt{'}\string{inside}\texttt{'}, %
138\verb!package body inside is! $\to$ \Keyword{package body }\Label{inside}\Keyword{ is}, %
139\verb!package inside is! $\to$ \Keyword{package }\Label{inside}\Keyword{ is}, %
140\verb!package inside renames! $\to$ \Keyword{package }\Label{inside}\Keyword{ renames}, %
141\verb!procedure inside renames! $\to$ \Keyword{procedure }\label{inside}\Keyword{ renames}, %
142\verb!procedure inside is! $\to$ \Keyword{procedure }\label{inside}\Keyword{ is}, %
143\verb!procedure inside (! $\to$ \Keyword{procedure }\label{inside}\texttt{ (}, %
144\verb!procedure inside(! $\to$ \Keyword{procedure }\label{inside}\texttt{(}, %
145\verb!procedure inside$! $\to$ \Keyword{procedure }\label{inside}\$, %
146\verb!procedure inside;! $\to$ \Keyword{procedure }\label{inside}\texttt{;}, %
147\verb!function inside renames! $\to$ \Keyword{function }\label{inside}\Keyword{ renames}, %
148\verb!function inside is! $\to$ \Keyword{function }\label{inside}\Keyword{ is}, %
149\verb!function inside (! $\to$ \Keyword{function }\label{inside}\texttt{ (}, %
150\verb!function inside(! $\to$ \Keyword{function }\label{inside}\texttt{(}, %
151\verb!function inside$! $\to$ \Keyword{function }\label{inside}\$, %
152\verb!function inside;! $\to$ \Keyword{function }\label{inside}\texttt{;}.
153\item \textrm{the verbatims are:}
154"\verb!'''!".
155\item \textrm{the escapes are:}
156"\verb!""!", "\verb!\\!", "\verb!\'!".
157\end{itemize}
158
159
160\magicbf{25} \subsection{PreScript style}
161\begin{itemize}
162\header{PreScript style}
163\item This is prescript, a language of description of textual pages. It provides by the use of LaTeX like commands, a way to describe the pages that this program should produce. It can be a very good choice of destination language for people who want to produce text to print (e.g. pretty-printing, automating documentation etc.) but who definitely do not want to learn postscript, nor to require the use of LaTeX.
164It is also known as BifTeX (Basic Instruction From LaTeX), of ptf (Poor Text Format).
165Symbol translation is always enabled in this mode.
166\item \textrm{the abbreviation are:} prescript, biftex, bif, pre, ptf.
167\item \textrm{first alphabet is:}
168'\verb|A|\verb|B|\verb|C|\verb|D|\verb|E|\verb|F|\verb|G|\verb|H|\verb|I|\verb|J|\verb|K|\verb|L|\verb|M|\verb|N|\verb|O|\verb|P|\verb|Q|\verb|R|\verb|S|\verb|T|\verb|U|\verb|V|\verb|W|\verb|X|\verb|Y|\verb|Z|'(65-90), '\verb|a|\verb|b|\verb|c|\verb|d|\verb|e|\verb|f|\verb|g|\verb|h|\verb|i|\verb|j|\verb|k|\verb|l|\verb|m|\verb|n|\verb|o|\verb|p|\verb|q|\verb|r|\verb|s|\verb|t|\verb|u|\verb|v|\verb|w|\verb|x|\verb|y|\verb|z|'(97-122), '\verb|\|'(92), '\verb|_|'(95).
169\item \textrm{second alphabet is:}
170'\verb|A|\verb|B|\verb|C|\verb|D|\verb|E|\verb|F|\verb|G|\verb|H|\verb|I|\verb|J|\verb|K|\verb|L|\verb|M|\verb|N|\verb|O|\verb|P|\verb|Q|\verb|R|\verb|S|\verb|T|\verb|U|\verb|V|\verb|W|\verb|X|\verb|Y|\verb|Z|'(65-90), '\verb|a|\verb|b|\verb|c|\verb|d|\verb|e|\verb|f|\verb|g|\verb|h|\verb|i|\verb|j|\verb|k|\verb|l|\verb|m|\verb|n|\verb|o|\verb|p|\verb|q|\verb|r|\verb|s|\verb|t|\verb|u|\verb|v|\verb|w|\verb|x|\verb|y|\verb|z|'(97-122), '\verb|_|'(95).
171\item \textrm{keywords, symbols and sequences recognition is case sensitive.}
172\item \textrm{there are no keywords.}
173\item \textrm{there are no regular symbols.}
174\item \textrm{the special symbols are:}
175\verb!\$! $\to$ \$, %
176\verb!$! $\to$ , \verb!\_! $\to$ \_, %
177\verb!\%! $\to$ \%, \verb!\&! $\to$ \&, %
178\verb!\#! $\to$ \#, \verb!\(! $\to$ (, %
179\verb!\)! $\to$ ), \verb!\[! $\to$ [, %
180\verb!\]! $\to$ ], \verb!\{! $\to$ \{, %
181\verb!\|! $\to$ $\|$, \verb!\}! $\to$ \}.
182\item \textrm{the sequences are:}
183\verb!\\encoding{inside}! $\to$ \texttt{inside}, %
184\verb!%%prescript:skipinside%%prescript:piks$! $\to$ , %
185\verb!%inside$! $\to$ , %
186\verb!\\item[inside]! $\to$ \label{inside}, %
187\verb!\\section{inside}! $\to$ \Label{inside}, %
188\verb!\\subsection{inside}! $\to$ \label{inside}, %
189\verb!\\subsubsection{inside}! $\to$ \label{inside}, %
190\verb!\\header{inside}$! $\to$ \texttt{inside}, %
191\verb!\\footer{inside}$! $\to$ \texttt{inside}, %
192\verb!\\textbf{inside}! $\to$ \Keyword{inside}, %
193\verb!\\textit{inside}! $\to$ \keyword{inside}, %
194\verb!\\textbi{inside}! $\to$ \Keyword{inside}, %
195\verb!\\textrm{inside}! $\to$ \string{inside}, %
196\verb!\\textsy{inside}! $\to$ $\iota$$\nu$$\sigma$$\iota$$\delta$$\epsilon$, %
197\verb!\\texttt{inside}! $\to$ \texttt{inside}, %
198\verb!\\keyword{inside}! $\to$ \keyword{inside}, %
199\verb!\\Keyword{inside}! $\to$ \Keyword{inside}, %
200\verb!\\comment{inside}! $\to$ \comment{inside}, %
201\verb!\\Comment{inside}! $\to$ \Comment{inside}, %
202\verb!\\label{inside}! $\to$ \label{inside}, %
203\verb!\\Label{inside}! $\to$ \Label{inside}, %
204\verb!\\string{inside}! $\to$ \string{inside}, %
205\verb!\\magicbf{inside}! $\to$ \Keyword{inside}, %
206\verb!\\magicit{inside}! $\to$ \keyword{inside}, %
207\verb!\\magicbi{inside}! $\to$ \Keyword{inside}, %
208\verb!\\magicrm{inside}! $\to$ \string{inside}, %
209\verb!\\magicsy{inside}! $\to$ $\iota$$\nu$$\sigma$$\iota$$\delta$$\epsilon$, %
210\verb!\\magictt{inside}! $\to$ \texttt{inside}, %
211\verb!\\verb+inside+! $\to$ \texttt{inside}, %
212\verb#\\verb!inside!# $\to$ \texttt{inside}, %
213\verb!\\verb|inside|! $\to$ \texttt{inside}, %
214\verb!\\verb#inside#! $\to$ \texttt{inside}, %
215\verb!\\verb=inside=! $\to$ \texttt{inside}.
216\item \textrm{there are no verbatims.}
217\item \textrm{there are no escapes.}
218\end{itemize}
219\end{document}
220