/usr/share/mozart/doc/gump/node8.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>A The Used Notation</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node5.html#chapter.parser"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="bib.html#label299">Next >></A></TD></TR></TABLE><DIV id="appendix.notation"><H1><A name="appendix.notation">A The Used Notation</A></H1><P> This appendix describes the notation used to specify the syntax of the Gump specification language as an extension of the Oz language. It is an extended Backus-Naur-Formalism built from the following parts: </P><UL><LI><P>terminals and nonterminals are enclosed in angle brackets <...>; </P></LI><LI><P>the left side is separated from the right side by either ::= or +=, where += adds productions to an existing nonterminal; </P></LI><LI><P>the vertical bar separates alternatives; </P></LI><LI><P>square brackets denote optional phrases; </P></LI><LI><P>curly braces enclose phrases that may be repeated 0 to <I>n</I> times; </P></LI><LI><P>curly braces with a suffixed + enclose phrases that may be repeated 1 to <I>n</I> times; </P></LI><LI><P>literal strings are typeset in <CODE>this way</CODE>. </P></LI></UL><P> </P><H2><A name="label298">A.1 Elements from the Oz Syntax</A></H2><DIV class="apropos"><P class="margin">Lexical Conventions</P><P> Since the tool's specification language is embedded into Oz, the same lexical conventions apply as for Oz. The only additional terminal type is <<I>regex</I>>, described in <A href="node4.html#section.scanner.syntax">Section 2.2.1</A>. </P></DIV><DIV class="apropos"><P class="margin">Terminals</P><P> The following named terminals from the Oz syntax are used: </P><DL><DT><<I>atom</I>> </DT><DD><P>stands for an Oz atom (quoted or not). </P></DD><DT><<I>variable</I>> </DT><DD><P>denotes an Oz variable (backquoted or not). </P></DD><DT><<I>atom label</I>> </DT><DD><P>is an Oz atom that is immediately followed by a left parenthesis. </P></DD><DT><<I>variable label</I>> </DT><DD><P>is an Oz variable that is immediately followed by a left parenthesis. </P></DD></DL><P> See <A href="../notation/index.html">``The Oz Notation''</A> for the exact definitions. </P></DIV><DIV class="apropos"><P class="margin">Nonterminals</P><P> Furthermore, the following nonterminals from the Oz syntax are used: </P><DL><DT><<I>statement</I>> </DT><DD><P>is an Oz statement. </P></DD><DT><<I>expression</I>> </DT><DD><P>is an Oz expression. </P></DD><DT><<I>in statement</I>> </DT><DD><P>is an Oz statement with optional preceding variable declaration. </P></DD><DT><<I>in expression</I>> </DT><DD><P>is an Oz expression with optional preceding variable declaration. </P></DD><DT><<I>class descriptor</I>> </DT><DD><P>stands for a class descriptor, i. e., one of <CODE><SPAN class="keyword">from</SPAN></CODE>, <CODE><SPAN class="keyword">prop</SPAN></CODE>, <CODE><SPAN class="keyword">attr</SPAN></CODE> or <CODE><SPAN class="keyword">feat</SPAN></CODE>. </P></DD><DT><<I>method</I>> </DT><DD><P>stands for a <CODE><SPAN class="keyword">meth</SPAN> </CODE>...<CODE> <SPAN class="functionname">end</SPAN></CODE> definition. </P></DD></DL><P> See <A href="../notation/index.html">``The Oz Notation''</A> for the exact definitions.</P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node5.html#chapter.parser"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="bib.html#label299">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|