add source code in appendix

[des2015.git] / marsrover / document / robot.tex

diff --git a/marsrover/document/robot.tex b/marsrover/document/robot.tex
index 028b495..7c4b501 100644 (file)
--- a/marsrover/document/robot.tex
+++ b/marsrover/document/robot.tex
@@ -201,6 +201,14 @@ prefix notation is used for binary and unary operators.
        \caption{Robot Domain Specific Language}\label{fig:dsl}
 \end{figure}
 
+To assist the user programming in the DSL small validation mechanism have been
+added. It could happen that the user specifies a mission that contains two
+behaviours both want control at all times. A behaviour that wants control at
+all times can be a valid design but when there are two with that property, only
+one will be used. To avoid such situations the IDE will warn the user when this
+is the case. The full code for the code validation can be found in
+\autoref{lst:val}.
+
 \subsection{Code Structure}
 The complete code generation code can be found in \autoref{lst:gen}. The
 following enumeration shows what is specifically generated per grammar object.