From 09edf668403a4d50c0f3681fd22e0b5719a47089 Mon Sep 17 00:00:00 2001 From: michael Date: Wed, 30 Dec 1998 22:06:10 +0000 Subject: [PATCH] Added library syntax --- docs/syntax/exports.syn | 18 ++++++++++++++++++ docs/syntax/library.syn | 14 ++++++++++++++ 2 files changed, 32 insertions(+) create mode 100644 docs/syntax/exports.syn create mode 100644 docs/syntax/library.syn diff --git a/docs/syntax/exports.syn b/docs/syntax/exports.syn new file mode 100644 index 0000000000..4fb373c53e --- /dev/null +++ b/docs/syntax/exports.syn @@ -0,0 +1,18 @@ +\begin{diagram}{Exports clause}{ExportClause} +\begin{mysyntdiag} +\synt{exports\ clause} +\lit*{exports} +\synt{exports\ list} +\lit*{;} +\end{mysyntdiag} +\begin{mysyntdiag} +\synt{exports\ list} +\<[b] \synt{exports\ entry} \\ \lit* , \> +\end{mysyntdiag} +\begin{mysyntdiag} +\synt{exports\ entry} +\synt{identifier} +\[ \lit*{index} \synt{integer\ constant} \] +\[ \lit*{name} \synt{string\ constant} \] +\end{mysyntdiag} +\end{diagram} \ No newline at end of file diff --git a/docs/syntax/library.syn b/docs/syntax/library.syn new file mode 100644 index 0000000000..5cb633dc18 --- /dev/null +++ b/docs/syntax/library.syn @@ -0,0 +1,14 @@ +\begin{diagram}{Libraries}{libraries} +\begin{mysyntdiag} +\synt{library} +\synt{library\ header} +\lit* ; +\[ \synt{uses\ clause} \] +\synt{block} +\lit* . +\end{mysyntdiag} +\begin{mysyntdiag} +\synt{library\ header} +\lit*{library} \synt{identifier} +\end{mysyntdiag} +\end{diagram} \ No newline at end of file