/
macros.tex
58 lines (41 loc) · 1.69 KB
/
macros.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
\newcommand{\articleName}{Java Virtual Machine \\ multi-debugger proxy server}
\newcommand{\articleNameEE}{Java virtuaalmasina mitme siluri puhverserver}
% shortcuts for brackets/parens
\newcommand{\lp}{\left(}
\newcommand{\rp}{\right)}
\newcommand{\lb}{\left\lbrace}
\newcommand{\rb}{\right\rbrace}
\newcommand{\lbk}{\left[}
\newcommand{\rbk}{\right]}
\newcommand{\lllb}{\left\llbracket}
\newcommand{\rrrb}{\right\rrbracket}
% math-mode separator for inteferences
\newcommand{\separ}{\hspace{3em}}
\newcommand{\vsepar}{\vspace{2em}}
% inference macros
\newcommand{\intraproc}{\hookrightarrow}
\newcommand{\interproc}{\dashrightarrow}
\newcommand{\intrathread}{\twoheadrightarrow}
\newcommand{\interthread}{\Rrightarrow}
% other macros
\newcommand{\allstates}{\mathcal{S}}
\newcommand{\descriptor}{\Delta}
\newcommand{\absint}{*}
\newcommand{\analyze}{\mathcal{A}}
\newcommand{\cfgcode}[1]{\texttt{#1}}
\newcommand{\mcode}[1]{\text{\texttt{#1}}}
\newcommand{\figcode}[1]{\texttt{#1}}
\newcommand{\figsubcode}[2]{$\text{\figcode{#1}}_{\text{\figcode{#2}}}$}
\newcommand{\inlinecode}[1]{\texttt{#1}}
\newcommand{\inlinesubcode}[2]{$\text{\figcode{#1}}_{\text{\figcode{#2}}}$}
\newcommand{\mathword}[1]{\mathit{#1}}
% todo notes
\newcommand{\kalmer}[1]{\todo[color=red!60,inline]{Kalmer: #1}}
\newcommand{\toadd}[1]{\todo[color=red!60,inline]{#1}}
\newcommand{\toask}[1]{\todo[color=orange!40,inline]{#1}}
\newcommand{\todisc}[1]{\todo[color=orange!80,inline]{#1}}
\newcommand{\tosup}[1]{\todo[color=blue!30,inline]{#1}}
\newcommand{\toans}[1]{\todo[color=blue!60,inline]{#1}}
\newcommand{\tocomment}[1]{\todo[inline]{#1}}
\newcommand{\toguide}[1]{\todo[color=green!80,inline]{#1}}
% \newcommand{\toguide}[1]{}