final commit
[des2015.git] / marsrover / document / appendix.tex
index f41435a..3df4daf 100644 (file)
@@ -1,7 +1,15 @@
 \section{Appendix}
 \lstinputlisting[label={lst:grammar},caption={Xtext grammar}]%
        {../../dsl/xtend/src/robots/missions/TaskDSL.xtext}
+
+\newpage
+\lstinputlisting[label={lst:inst},caption={DSL instance}]%
+       {../../dsl/runtime/specs/wander.tdsl}
+
+\newpage
 \lstinputlisting[label={lst:gen},caption={Xtend code generation}]
        {../../dsl/xtend/src/robots/missions/generator/TaskDSLGenerator.xtend}
+
+\newpage
 \lstinputlisting[label={lst:val},caption={Xtend code validation}]
        {../../dsl/xtend/src/robots/missions/validation/TaskDSLValidator.xtend}