MiniJavaCompiler/doc/documentation.tex

67 lines
1.9 KiB
TeX
Raw Normal View History

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}