diff options
Diffstat (limited to 'introcoms.tex')
| -rw-r--r-- | introcoms.tex | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/introcoms.tex b/introcoms.tex index 638a11e..090e2af 100644 --- a/introcoms.tex +++ b/introcoms.tex @@ -3,26 +3,27 @@ \label{sec:intro:commands} We zullen nu kort op informele wijze de verschillende commando's in Smurf beschrijven. We geven telkens de notatie in Smurf syntax en een leesbaarder -alternatief dat we hieronder zullen gebruiken. Wanneer een commando iets met -elementen op de stack doet, worden die elementen altijd verwijderd. -Merk op dat de commando's niet exact hetzelfde zijn als in de -voorbeeldprogramma's en de taalspecificatie. We gebruiken een leesbaardere -variant op de taal zodat het overzichtelijker is om eigenschappen ervan te -bespreken. Alle commando's betekenen nog steeds hetzelfde. +alternatief dat we in de rest van dit werkstuk zullen gebruiken. De commando's +zijn dus niet exact hetzelfde als in de voorbeeldprogramma's en de specificatie +van de taal~\cite{safalra}. Met onze leesbaardere variant is het makkelijker om +over de taal te redeneren. + +Voor ieder commando geldt dat wanneer het elementen op de stack gebruikt, die +elementen worden verwijderd. \begin{description}[style=nextline,font=\normalfont] - \item[\smurfinline{"..."} of $\StmPush~\texttt{...}$] - waarbij `\texttt{...}' een string is. Zet de string \texttt{...} op de - stack. + \item[\smurfinline{"..."} of $\StmPush~\texttt{...}$, waar \lit{...} een + string is] + Zet de string \lit{...} op de stack. \item[\smurfinline{+} of $\StmCat$] Concateneert de bovenste twee strings (laagste eerst) op de stack en zet het resultaat op de stack. \item[\smurfinline{i} of $\StmInput$] Plaatst een string van `user input' op de stack. Hierbij wordt - \texttt{\textbackslash} gebruikt om LF-karakters, dubbele aanhalingstekens - en backslashes te escapen. Het is ook mogelijk LF-karakters in de string te - gebruiken. Afhankelijk van de inputmethode is dit al dan niet mogelijk --- - in deze specificatie abstraheren we van inputmethodes. + \lit{\textbackslash} gebruikt om LF-karakters, dubbele aanhalingstekens en + backslashes te escapen. Afhankelijk van de inputmethode kan het ook + mogelijk zijn dat LF-karakters in de string voorkomen. In deze specificatie + abstraheren we van inputmethodes. \item[\smurfinline{o} of $\StmOutput$] Stuurt het bovenste element van de stack naar `de output'. \item[\smurfinline{p} of $\StmPut$] |