From 16c7647c8941171e74da3e6e05d6154752fca013 Mon Sep 17 00:00:00 2001
From: Evi
Date: Fri, 29 Apr 2016 15:06:26 +0200
Subject: template cat quotify, first version push

---
 rulespush.tex | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 rulespush.tex

(limited to 'rulespush.tex')

diff --git a/rulespush.tex b/rulespush.tex
new file mode 100644
index 0000000..3362b50
--- /dev/null
+++ b/rulespush.tex
@@ -0,0 +1,28 @@
+% vim: set spelllang=nl:
+\subsection{\texttt{Push}}
+\label{sec:rules:push}
+
+\begin{quote}
+	"text" - Places the string on top of the stack (without the quotes). The string
+    may include the following escape sequences: newline, the " - character and the $\backslash$ - character
+\end{quote}
+
+De string tussen de quotes word op de stack gezet. Eerst word er nog gecontroleerd op newlines, "-characters en $\backslash$ characters. Dit gaat doormiddel van de hulpfunctie unescape. 
+
+Dit geeft de volgende regel:
+
+$$
+\begin{prooftree}
+	\trans
+		{\pgm}{\ip}{(\push(\unescape(String)\stk), \str)}
+		{\ip}{\op}{\st}
+	\justifies
+	\trans
+		{\StmPush<String>:\pgm}{\ip}{(\stk,\str)}
+		{\ip}{\op}{\st}
+	\using{\rpushns}
+	\qquad
+\end{prooftree}
+$$
+
+ 
-- 
cgit v1.2.3