From 76228ce83257a9be9ab12ce69c89608d385d9182 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 31 Oct 2017 07:47:45 +0100
Subject: [PATCH] some examples
---
docs/userGuide/userGuide.tex | 21 ++++++++++++++++++++-
1 file changed, 20 insertions(+), 1 deletion(-)
diff --git a/docs/userGuide/userGuide.tex b/docs/userGuide/userGuide.tex
index e3b3dd84a5..b5296d2c43 100644
--- a/docs/userGuide/userGuide.tex
+++ b/docs/userGuide/userGuide.tex
@@ -194,11 +194,30 @@ pdfauthor={I am the Author} % author
\lipsum[1-14]
+\chapter{Introspection}
+
+introspect algorithms
+introspect algorithms automaton::
+introspect overloads automaton::determinize::Determinize
+introspect datatypes
+introspect casts
+introspect casts :from int
+introspect casts :to int
+
\appendix
\chapter{Examples}
-\lipsum[1-15]
+\section{Interactive}
+
+execute cli::builtin::ReadFile ../examples2/automaton/DFA.txt | string::Parse automaton::Automaton \^{} -
+
+\section{Command line execution}
+
+./aql2 -p input=../examples2/automaton/DFA.txt -q 'execute cli::builtin::ReadFile \#input > \$in' -q 'execute string::Parse automaton::Automaton \^{} \$in'
+
+\noindent
+./aql2 -q 'execute automaton::simplify::efficient::EpsilonRemoverIncoming <\#stdin | automaton::determinize::Determinize - | automaton::simplify::Trim - | automaton::simplify::Minimize - | automaton::simplify::Normalize - >\#stdout'
\backmatter
--
GitLab