| 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: %
|
|---|
