Voorlopige indiening 2

documentatie/verslag.tex

@@ -7,6 +7,7 @@
 \usepackage[dutch]{babel}         % Nederlands taal
 \usepackage[style=apa]{biblatex}  % Bronnen
 \usepackage{enumitem}             % Aanpasbare lijsten
+\usepackage{float}                % Figures
 \usepackage[margin=2cm]{geometry} % Sane marges
 \usepackage{hyperref}             % Hyperlinks
 \usepackage{minted}               % Syntax highlighting
@@ -155,8 +156,9 @@
     % KERN: Nesting probleem
     \textbf{Code wordt snel onoverzichtelijk} door het gebruik van \mintinline{kotlin}{Sequence} en \mintinline{kotlin}{Result}.
     Belangrijke logica zit genest in onduidelijke boilerplate.
-    Volgende code komt bijvoorbeeld in de meeste termen voor, weliswaar in verschillende vorm:
+    De code in~\ref{lst:nesting} komt bijvoorbeeld in de meeste termen voor, weliswaar in verschillende vorm.
 
+    \begin{listing}[H]
     \begin{minted}{kotlin}
         /* Function entry logic */
         unifyLazy(a, b, subs).forEach { firstResult ->
@@ -174,6 +176,8 @@
                                 is AppliedShift -> /* Shift logic */
         } } ) } } }
     \end{minted}
+    \caption{Voorbeeld van geneste boilerplate code}\label{lst:nesting}
+    \end{listing}
 
     % KERN: Overerving zorgt voor boilerplate
     \textbf{De implementatie bevat boilerplate code} door het gebruik van overerving en interfaces in de klassenrepresentatie van termen.
@@ -299,17 +303,11 @@
 
     De ingediende JAR kan ook handmatig opgeroepen worden met \texttt{java -jar ./build/gpl.jar}.
 
-    Het programma ondersteunt de volgende vlaggen:
-
-    % TODO gpl --help
-
     \subsection{Testen}\label{subsec:testen}
 
     De testen kunnen uitgevoerd worden door de meeste IDE's.
 
     Alternatief kunnen de testen uitgevoerd worden met \texttt{./gradlew test}.
-    Resultaten worden naar \texttt{stdout} geschreven of kunnen bekeken worden met
-    % TODO HTML rapporten.
 
 
     \section{Overzicht van geïmplementeerde predicaten}\label{sec:predicaten}