source: doc/papers/concurrency/style/cfa-format.tex @ d52a55b

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
Last change on this file since d52a55b was aac7197, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

working copy, no latin-1 characters

  • Property mode set to 100644
File size: 7.7 KB
Line 
1%\usepackage[usenames,dvipsnames]{xcolor}
2\usepackage{listings}
3\usepackage{inconsolata}
4
5\definecolor{basicCol}{HTML}{000000}
6\definecolor{commentCol}{HTML}{000000}
7\definecolor{stringCol}{HTML}{000000}
8\definecolor{keywordCol}{HTML}{000000}
9\definecolor{identifierCol}{HTML}{000000}
10
11% from https://gist.github.com/nikolajquorning/92bbbeef32e1dd80105c9bf2daceb89a
12\lstdefinelanguage{sml} {
13        morekeywords= {
14                EQUAL, GREATER, LESS, NONE, SOME, abstraction, abstype, and, andalso, array, as, before,
15                bool, case, char, datatype, do, else, end, eqtype, exception, exn, false, fn, fun, functor,
16                handle, if, in, include, infix, infixr, int, let, list, local, nil, nonfix, not, o, of, op,
17                open, option, orelse, overload, print, raise, real, rec, ref, sharing, sig, signature,
18                string, struct, structure, substring, then, true, type, unit, val, vector, where, while,
19                with, withtype, word
20    },
21    morestring=[b]",
22    morecomment=[s]{(*}{*)},
23}
24
25\lstdefinelanguage{D}{
26        % Keywords
27        morekeywords=[1]{
28                abstract, alias, align, auto, body, break, cast, catch, class, const, continue, debug,
29                delegate, delete, deprecated, do, else, enum, export, false, final, finally, for, foreach,
30                foreach_reverse, function, goto, if, immutable, import, in, inout, interface, invariant, is,
31                lazy, macro, mixin, module, new, nothrow, null, out, override, package, pragma, private,
32                protected, public, pure, ref, return, shared, static, struct, super, switch, synchronized,
33                template, this, throw, true, try, typedef, typeid, typeof, union, unittest, volatile, while,
34                with
35        },
36        % Special identifiers, common functions
37        morekeywords=[2]{enforce},
38        % Ugly identifiers
39        morekeywords=[3]{
40                __DATE__, __EOF__, __FILE__, __LINE__, __TIMESTAMP__, __TIME__, __VENDOR__,
41                __VERSION__, __ctfe, __gshared, __monitor, __thread, __vptr, _argptr,
42                _arguments, _ctor, _dtor
43        },
44        % Basic types
45        morekeywords=[4]{
46                byte, ubyte, short, ushort, int, uint, long, ulong, cent, ucent, void, bool, bit, float,
47                double, real, ushort, int, uint, long, ulong, float, char, wchar, dchar, string, wstring,
48                dstring, ireal, ifloat, idouble, creal, cfloat, cdouble, size_t, ptrdiff_t, sizediff_t,
49                equals_t, hash_t
50        },
51        % Strings
52        morestring=[b]{"},
53        morestring=[b]{'},
54        morestring=[b]{`},
55        % Comments
56        comment=[l]{//},
57        morecomment=[s]{/*}{*/},
58        morecomment=[s][\color{blue}]{/**}{*/},
59        morecomment=[n]{/+}{+/},
60        morecomment=[n][\color{blue}]{/++}{+/},
61        % Options
62        sensitive=true
63}
64
65\lstdefinelanguage{rust}{
66        % Keywords
67        morekeywords=[1]{
68                abstract, alignof, as, become, box, break, const, continue, crate, do, else, enum, extern,
69                false, final, fn, for, if, impl, in, let, loop, macro, match, mod, move, mut, offsetof,
70                override, priv, proc, pub, pure, ref, return, Self, self, sizeof, static, struct, super,
71                trait, true, type, typeof, unsafe, unsized, use, virtual, where, while, yield
72        },
73        % Strings
74        morestring=[b]{"},
75        % Comments
76        comment=[l]{//},
77        morecomment=[s]{/*}{*/},
78        % Options
79        sensitive=true
80}
81
82\lstdefinelanguage{pseudo}{
83        morekeywords={string,uint,int,bool,float},
84        sensitive=true,
85        morecomment=[l]{//},
86        morecomment=[s]{/*}{*/},
87        morestring=[b]',
88        morestring=[b]",
89        morestring=[s]{`}{`},
90}
91
92\newcommand{\KWC}{K-W C\xspace}
93
94\lstdefinestyle{pseudoStyle}{
95        escapeinside={@@},
96        basicstyle=\linespread{0.9}\sf\footnotesize,            % reduce line spacing and use typewriter font
97        keywordstyle=\bfseries\color{blue},
98        keywordstyle=[2]\bfseries\color{Plum},
99        commentstyle=\itshape\color{OliveGreen},                    % green and italic comments
100        identifierstyle=\color{identifierCol},
101        stringstyle=\sf\color{Mahogany},                                          % use sanserif font
102        mathescape=true,
103        columns=fixed,
104        aboveskip=4pt,                                                            % spacing above/below code block
105        belowskip=3pt,
106        keepspaces=true,
107        tabsize=4,
108        % frame=lines,
109        literate=,
110        showlines=true,                                                          % show blank lines at end of code
111        showspaces=false,
112        showstringspaces=false,
113        escapechar=\$,
114        xleftmargin=\parindentlnth,                                  % indent code to paragraph indentation
115        moredelim=[is][\color{red}\bfseries]{**R**}{**R**},    % red highlighting
116        % moredelim=* detects keywords, comments, strings, and other delimiters and applies their formatting
117        % moredelim=** allows cumulative application
118}
119
120\lstdefinestyle{defaultStyle}{
121        escapeinside={@@},
122        basicstyle=\linespread{0.9}\tt\footnotesize,            % reduce line spacing and use typewriter font
123        keywordstyle=\bfseries\color{blue},
124        keywordstyle=[2]\bfseries\color{Plum},
125        commentstyle=\itshape\color{OliveGreen},                    % green and italic comments
126        identifierstyle=\color{identifierCol},
127        stringstyle=\sf\color{Mahogany},                                          % use sanserif font
128        mathescape=true,
129        columns=fixed,
130        aboveskip=4pt,                                                            % spacing above/below code block
131        belowskip=3pt,
132        keepspaces=true,
133        tabsize=4,
134        % frame=lines,
135        literate=,
136        showlines=true,                                                          % show blank lines at end of code
137        showspaces=false,
138        showstringspaces=false,
139        escapechar=\$,
140        xleftmargin=\parindentlnth,                                  % indent code to paragraph indentation
141        moredelim=[is][\color{red}\bfseries]{**R**}{**R**},    % red highlighting
142        % moredelim=* detects keywords, comments, strings, and other delimiters and applies their formatting
143        % moredelim=** allows cumulative application
144}
145
146\lstdefinestyle{cfaStyle}{
147        escapeinside={@@},
148        basicstyle=\linespread{0.9}\sf,         % reduce line spacing and use typewriter font
149%  keywordstyle=\bfseries\color{blue},
150        keywordstyle=[2]\bfseries\color{red},
151%  commentstyle=\sf\itshape\color{OliveGreen},            % green and italic comments
152        identifierstyle=\color{identifierCol},
153%  stringstyle=\sf\color{Mahogany},                                       % use sanserif font
154        stringstyle=\tt,                                                                                % use typewriter font
155        mathescape=true,
156        columns=fixed,
157        aboveskip=4pt,                                                            % spacing above/below code block
158        belowskip=3pt,
159        keepspaces=true,
160        tabsize=4,
161        % frame=lines,
162        literate=,
163        showlines=true,                                                          % show blank lines at end of code
164        showspaces=false,
165        showstringspaces=false,
166        escapechar=\$,
167        xleftmargin=\parindentlnth,                                  % indent code to paragraph indentation
168        moredelim=[is][\color{red}\bfseries]{**R**}{**R**},    % red highlighting
169        morekeywords=[2]{accept, signal, signal_block, wait, waitfor},
170}
171
172\lstMakeShortInline[basewidth=0.5em,breaklines=true,basicstyle=\normalsize\ttfamily\color{basicCol}]% single-character for \lstinline
173
174\lstnewenvironment{ccode}[1][]{
175        \lstset{
176                language = C,
177                style=defaultStyle,
178                captionpos=b,
179                #1
180        }
181}{}
182
183\lstnewenvironment{cfacode}[1][]{
184        \lstset{
185                language = CFA,
186                style=cfaStyle,
187                captionpos=b,
188                #1
189        }
190}{}
191
192\lstnewenvironment{pseudo}[1][]{
193        \lstset{
194                language = pseudo,
195                style=pseudoStyle,
196                captionpos=b,
197                #1
198        }
199}{}
200
201\lstnewenvironment{cppcode}[1][]{
202        \lstset{
203                language = c++,
204                style=defaultStyle,
205                captionpos=b,
206                #1
207        }
208}{}
209
210\lstnewenvironment{ucppcode}[1][]{
211        \lstset{
212                language = c++,
213                style=defaultStyle,
214                captionpos=b,
215                #1
216        }
217}{}
218
219\lstnewenvironment{javacode}[1][]{
220        \lstset{
221                language = java,
222                style=defaultStyle,
223                captionpos=b,
224                #1
225        }
226}{}
227
228\lstnewenvironment{scalacode}[1][]{
229        \lstset{
230                language = scala,
231                style=defaultStyle,
232                captionpos=b,
233                #1
234        }
235}{}
236
237\lstnewenvironment{smlcode}[1][]{
238        \lstset{
239                language = sml,
240                style=defaultStyle,
241                captionpos=b,
242                #1
243        }
244}{}
245
246\lstnewenvironment{dcode}[1][]{
247        \lstset{
248                language = D,
249                style=defaultStyle,
250                captionpos=b,
251                #1
252        }
253}{}
254
255\lstnewenvironment{rustcode}[1][]{
256        \lstset{
257                language = rust,
258                style=defaultStyle,
259                captionpos=b,
260                #1
261        }
262}{}
263
264\lstnewenvironment{gocode}[1][]{
265        \lstset{
266                language = Golang,
267                style=defaultStyle,
268                captionpos=b,
269                #1
270        }
271}{}
272
273\newcommand{\zero}{\lstinline{zero_t}\xspace}
274\newcommand{\one}{\lstinline{one_t}\xspace}
275\newcommand{\ateq}{\lstinline{\@=}\xspace}
276\newcommand{\code}[1]{\lstinline[language=CFA,style=cfaStyle]{#1}}
277\newcommand{\pscode}[1]{\lstinline[language=pseudo,style=pseudoStyle]{#1}}
278
279% Local Variables: %
280% tab-width: 4 %
281% fill-column: 100 %
282% End: %
Note: See TracBrowser for help on using the repository browser.