From 41cde50e1b28033fb2f88061331d1ac43bdaaad4 Mon Sep 17 00:00:00 2001
From: Erlend Kristiansen <erlenkr@ifi.uio.no>
Date: Mon, 17 Mar 2014 14:46:55 +0100
Subject: [PATCH] Thesis: writing up disposition of checkers section

---
 thesis/master-thesis-erlenkr.tex | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/thesis/master-thesis-erlenkr.tex b/thesis/master-thesis-erlenkr.tex
index 4a91f46d..3cce0a19 100644
--- a/thesis/master-thesis-erlenkr.tex
+++ b/thesis/master-thesis-erlenkr.tex
@@ -2197,6 +2197,19 @@ variables or methods declared in any of the enclosing types. In addition the
 checker visits \var{this}-expressions to verify that no such expressions is 
 qualified with any name.
 
+\subsection{The ReturnStatementsChecker}
+\todoin{Write\ldots}
+
+\subsection{The AmbiguousReturnValueChecker}
+\todoin{Write\ldots}
+
+\subsection{The IllegalStatementsChecker}
+This checker is designed to check for illegal statements.
+
+Any use of the \var{super} keyword is prohibited, since it bears no meaning when 
+moving a method to another class.
+\todoin{Write\ldots}
+
 \section{Illegal selections}
 
 \subsection{Not all branches end in return}
-- 
2.43.5