diff options
Diffstat (limited to 'rulespush.tex')
-rw-r--r-- | rulespush.tex | 28 |
1 files changed, 28 insertions, 0 deletions
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} +$$ + + |