[climacs-cvs] CVS update: papers/ilc2005/syntax/climacssyntax.tex

[Brian Mastenbrook]

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}