deliverables/report/report.tex

   1 \documentclass[draft]{article}
   2
   3 \usepackage{listings,clean,spl}  %Sourcecode
   4 \usepackage[hidelinks]{hyperref} %Clickable references
   5 \usepackage[a4paper]{geometry}   %Paper size
   6 \usepackage{proof}               %Prooftrees
   7 \usepackage{lscape}              %Landscap pages
   8
   9 \title{Compiler Construction: SPL Compiler}
  10 \author{Pim Jager\and Mart Lubbers}
  11 \date{\today}
  12
  13 \lstset{%
  14         basicstyle=\footnotesize\ttfamily,
  15         breaklines,
  16         captionpos=b,
  17         frame=L
  18 }
  19
  20 \newcommand{\SPLC}{\texttt{SPLC}}
  21 \newcommand{\SPL}{\texttt{SPL}}
  22 \newcommand{\SSM}{\texttt{SSM}}
  23 \newcommand{\Yard}{\textsc{Yard}}
  24 \newcommand{\AST}{\emph{AST}}
  25 \newcommand{\ADT}{\emph{ADT}}
  26 \newcommand{\Clean}{\emph{Clean}}
  27 \newcommand{\unif}{{\scriptscriptstyle\cup}}
  28
  29 \let\tt\texttt
  30
  31 \begin{document}
  32 \maketitle
  33 \tableofcontents
  34 \newpage
  35
  36 \input{intro.tex}
  37
  38 \input{pars.tex}
  39
  40 \input{sem.tex}
  41
  42 \input{gen.tex}
  43
  44 \input{eval.tex}
  45
  46 \newpage
  47 \section{Appendices}
  48 \subsection{Grammar}
  49 \lstinputlisting[label={lst:grammar}]{../../grammar/grammar.txt}
  50
  51 \newpage
  52 \subsection{Abstract Syntax Tree}
  53 \lstinputlisting[
  54         label={lst:ast},
  55         language=Clean,
  56         firstline=6,
  57         lastline=42]{../../AST.dcl}
  58
  59 \newpage
  60 \begin{landscape}
  61 \subsection{Inference rules}\label{sec:infRules}
  62 \input{infRules.tex}
  63 \end{landscape}
  64
  65 \end{document}