2024-06-28 09:01:17 +00:00
|
|
|
\documentclass[12pt, parskip=half, headheight=12pt, BCOR=8mm, footheight=16pt]{extarticle}
|
|
|
|
|
|
|
|
% General document formatting
|
|
|
|
\usepackage[margin=1.0in]{geometry}
|
|
|
|
\usepackage[parfill]{parskip}
|
|
|
|
\usepackage[utf8]{inputenc}
|
|
|
|
\usepackage[german]{babel}
|
|
|
|
\usepackage{enumitem}
|
|
|
|
\usepackage{listings}
|
|
|
|
\usepackage{hyperref}
|
|
|
|
|
|
|
|
\renewcommand\descriptionlabel[1]{$\bullet$ \textbf{#1}}
|
|
|
|
\hypersetup{
|
|
|
|
colorlinks=true,
|
|
|
|
linkcolor=blue,
|
|
|
|
filecolor=magenta,
|
|
|
|
urlcolor=cyan,
|
|
|
|
}
|
2024-07-05 07:43:37 +00:00
|
|
|
|
|
|
|
%for code listings
|
|
|
|
\usepackage{listings}
|
|
|
|
\usepackage{xcolor}
|
|
|
|
\definecolor{ListingBackground}{HTML}{F8F8F8}
|
|
|
|
\lstdefinestyle{mystyle}{
|
|
|
|
language=Java, % default language
|
|
|
|
numbers=left, % position of line numbers (left, right)
|
|
|
|
stepnumber=1, % set number to each line
|
|
|
|
numbersep=5pt, % 5pt between number and source code
|
|
|
|
numberstyle=\tiny, % letter size of numbers
|
|
|
|
breaklines=true, % break lines if necessary (true, false)
|
|
|
|
breakautoindent=true, % indenting after break line (true, false)
|
|
|
|
postbreak=\space, % break line after space
|
|
|
|
tabsize=2, % tabulator size
|
|
|
|
basicstyle=\ttfamily\footnotesize, % font style
|
|
|
|
showspaces=false, % show space (true, false)
|
|
|
|
extendedchars=true, % show all Latin1 characters (true, false)
|
|
|
|
captionpos=b, % sets the caption-position to bottom
|
|
|
|
backgroundcolor=\color{ListingBackground}, % source code background
|
|
|
|
xleftmargin=10pt, % margin left
|
|
|
|
xrightmargin=5pt, % margin right
|
|
|
|
frame=single, % border settings
|
|
|
|
frameround=ffff,
|
|
|
|
rulecolor=\color{darkgray}, % border color
|
|
|
|
fillcolor=\color{ListingBackground},
|
|
|
|
aboveskip=20pt,
|
|
|
|
keywordstyle=\color[rgb]{0.133,0.133,0.6},
|
|
|
|
commentstyle=\color[rgb]{0.133,0.545,0.133},
|
|
|
|
stringstyle=\color[rgb]{0.627,0.126,0.941}
|
|
|
|
}
|
|
|
|
\lstset{style=mystyle}
|
|
|
|
|
2024-06-28 09:01:17 +00:00
|
|
|
\let\clearpage\relax
|
|
|
|
|
|
|
|
\begin{document}
|
|
|
|
|
|
|
|
\include{features}
|
|
|
|
\newpage
|
|
|
|
\include{parser}
|
|
|
|
\newpage
|
|
|
|
\include{typecheck}
|
|
|
|
\newpage
|
|
|
|
\include{bytecode}
|
|
|
|
\newpage
|
|
|
|
\include{whodunit}
|
|
|
|
\newpage
|
|
|
|
|
|
|
|
\end{document}
|