Update of /project/climacs/cvsroot/papers/ilc2005/syntax In directory common-lisp.net:/tmp/cvs-serv12654

Modified Files: climacssyntax.tex Log Message: Kill the TTCN-3 GR diagram

Date: Mon May 23 15:10:40 2005 Author: bmastenbrook

Index: papers/ilc2005/syntax/climacssyntax.tex diff -u papers/ilc2005/syntax/climacssyntax.tex:1.19 papers/ilc2005/syntax/climacssyntax.tex:1.20 --- papers/ilc2005/syntax/climacssyntax.tex:1.19 Mon May 23 14:35:48 2005 +++ papers/ilc2005/syntax/climacssyntax.tex Mon May 23 15:10:40 2005 @@ -243,8 +243,8 @@ parser rules can be quite complicated and involve arbitrary code, but for a simple grammar the parsing rules can be entirely represented by matching on the classes returned by the tokenizer and parser. Figure -\ref{fig:syntaxclasses} shows the organization of classes in the TTCN3 -grammar. +\ref{fig:syntaxclasses} shows the organization of classes in the +TTCN-3 grammar.

The syntax analysis can be applied either in a per-window or per-buffer function. The per-window approach is best suited to @@ -289,7 +289,7 @@

We describe two different approaches to syntax analysis in the Climacs editor. Per-window parsing is used by the provided modes for HTML, -Common Lisp, Prolog, and a Testing Control Notation (TTCN3). Each of +Common Lisp, Prolog, and a Testing Control Notation (TTCN-3). Each of these syntaxes is implemented with the provided Earley parser \cite{earley}. The lute tablature editor uses a per-buffer function for its syntax analysis and implements a simple recursive-descent @@ -301,7 +301,7 @@ Climacs currently provides four syntaxes using a per-window parsing function. Of these the Prolog syntax is the most complete and implements the entire ISO Prolog syntax. The HTML, Common Lisp, and -TTCN3 syntaxes are somewhat less complete in their implementation. +TTCN-3 syntaxes are somewhat less complete in their implementation. Each syntax is free to implement its lexical analyzer and parser in the manner which is most convenient for its grammar. All of these syntaxes use the provided implementation of the Earley parsing @@ -345,13 +345,13 @@ slightly-buggy or incomplete syntax mode will render the whole thing useless. Violation of WiB?

-The Testing and Test Control Notation 3 (TTCN3) language is a language -which captures detailed test specifications. TTCN provides both a -textual ``core'' grammar and a graphical presentation format similar -to Message Sequence Charts (see figure \ref{fig:ttcn3gr}). Climacs -currently provides an editor for a subset of the TTCN3 core language. +The Testing and Test Control Notation 3 (TTCN-3) language is a +language which captures detailed test specifications. TTCN provides +both a textual ``core'' grammar and a graphical presentation format +similar to Message Sequence Charts. Climacs currently provides an +editor for a subset of the TTCN-3 core language.

-The TTCN3 syntax is implemented with a high-level macro which defines +The TTCN-3 syntax is implemented with a high-level macro which defines classes and adds syntax rules using the syntax protocol for each terminal and non-terminal in the grammar. The syntax of this macro resembles the BNF form in which the official core grammar is @@ -360,20 +360,6 @@ receive their own non-terminal entry in the grammar. In addition, this macro defines basic display functions for the syntax objects produced by the parser, with language keywords appearing in a separate color. - -\begin{figure*} - \begin{center} - \parbox{0.45\linewidth}{\includegraphics{ttcn3msc}} - \parbox{0.25\linewidth}{\texttt{\ [1cm]\noindent - testcase MyTestCase (inout integer MyPar)\ - runs on MyMTCtype system SystemType {\ - var integer MyVar := 1;\ - MyMTCPort.send(MyTemplate);\ - }}} - \caption{A fragment of TTCN3 and its corresponding Graphical Representation (GR)} - \label{fig:ttcn3gr} - \end{center} -\end{figure*}

\subsection{Per-Buffer Syntax: a tablature editor} \label{sec:tabeditor}