initial implementation

docs/syntax/for.syn

@@ -0,0 +1,25 @@
+\begin{diagram}{For statement}{forstatement}
+\begin{mysyntdiag}
+\synt{for\ statement} 
+\lit*{for}
+\synt{control\ variable}
+\lit*{:=}
+\synt{initial\ value}
+\( 
+  \lit*{to} \\
+  \lit*{downto}
+\)
+\synt{final\ value}
+\lit*{do}
+\synt{statement}
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{control\ variable} \synt{variable\ identifier}
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{initial\ value} \synt{expression}
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{final\ value} \synt{expression}
+\end{mysyntdiag}
+\end{diagram}

docs/syntax/goto.syn

@@ -0,0 +1,3 @@
+\begin{psyntax}{Goto statement}{gotostatement}
+\synt{goto\ statement} \lit*{goto} \synt{label}
+\end{psyntax}

docs/syntax/program.syn

@@ -0,0 +1,24 @@
+\begin{diagram}{Programs}{programs}
+\begin{mysyntdiag}
+\synt{program}
+\synt{program\ header} 
+\lit* ; 
+\[ \synt{uses\ clause} \]
+\synt{block}
+\lit* .
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{program\ header}
+\lit*{program} \synt{identifier}
+\[ \lit* ( \synt{program\ parameters} \lit* )\]
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{program\ parameters} \synt{identifier\ list}
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\synt{uses\ clause}
+\lit*{uses} \<[b] \synt{identifier} \\ \lit* , \>
+\end{mysyntdiag}
+\begin{mysyntdiag}
+\end{mysyntdiag}
+\end{diagram}

docs/syntax/repeat.syn

@@ -0,0 +1,8 @@
+\begin{psyntax}{Repeat statement}{repeatstatement}
+\synt{repeat\ statement}
+\lit*{repeat}
+\<[b] \synt{statement} \\ \lit* ; \>
+\lit*{until}
+\synt{expression}
+\end{psyntax}
+

docs/syntax/temp.syn

@@ -0,0 +1,2 @@
+\begin{psyntax}{}{}
+\end{psyntax}

docs/syntax/while.syn

@@ -0,0 +1,4 @@
+\begin{psyntax}{While statements}{whilestatement}
+\synt{while\ statement}
+\lit*{while} \synt{expression} \lit*{do} \synt{statement}
+\end{psyntax}

docs/syntax/with.syn

@@ -0,0 +1,6 @@
+\begin{psyntax}{With statement}{withstatement}
+\synt{with\ statement}
+\<[b] \synt{variable\ reference} \\ \lit* , \>
+\lit*{do}
+\synt{statement}
+\end{psyntax}