/usr/share/mozart/doc/notation/node4.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>4 Core Programs</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="node3.html#chapter.context-free"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#chapter.translation">Next >></A></TD></TR></TABLE><DIV id="chapter.core"><H1><A name="chapter.core">4 Core Programs</A></H1><P> In this section, we give a context-free grammar for Core Oz programs. </P><H2><A name="label18">4.1 The Base Language</A></H2><DIV class="apropos"><P class="margin">Statements</P><P> </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>statement</I>></TD><TD align="center"> ::= </TD><TD><<I>statement</I>> <<I>statement</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">local</SPAN></CODE> { <<I>variable</I>> }+ <CODE><SPAN class="keyword">in</SPAN></CODE> <<I>statement</I>> <CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">proc</SPAN></CODE> { <<I>atom</I>> } <SPAN class="terminal">"<CODE>{</CODE>"</SPAN> <<I>variable</I>> { <<I>variable</I>> } <SPAN class="terminal">"<CODE>}</CODE>"</SPAN></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><<I>statement</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><SPAN class="terminal">"<CODE>{</CODE>"</SPAN> <<I>variable</I>> { <<I>variable</I>> } <SPAN class="terminal">"<CODE>}</CODE>"</SPAN></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">lock</SPAN></CODE> <<I>variable</I>> <CODE><SPAN class="keyword">then</SPAN></CODE> <<I>statement</I>> <CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">thread</SPAN></CODE> <<I>statement</I>> <CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">try</SPAN></CODE> <<I>statement</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><CODE><SPAN class="keyword">catch</SPAN></CODE> <<I>variable</I>> <CODE><SPAN class="keyword">then</SPAN></CODE> <<I>statement</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE>=</CODE>"</SPAN> <SPAN class="terminal">"<CODE><SPAN class="keyword">@</SPAN></CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE><SPAN class="keyword">:=</SPAN></CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE>=</CODE>"</SPAN> <<I>variable</I>> <SPAN class="terminal">"<CODE><SPAN class="keyword">:=</SPAN></CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE>=</CODE>"</SPAN> <<I>expression</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">skip</SPAN></CODE></TD></TR></TABLE></BLOCKQUOTE><P> </P></DIV><DIV class="apropos"><P class="margin">Expressions</P><P> </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>expression</I>></TD><TD align="center"> ::= </TD><TD><<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>atom</I>> | <<I>int</I>> | <<I>float</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>label</I>> <SPAN class="terminal">"<CODE>(</CODE>"</SPAN> { <<I>feature</I>> <SPAN class="terminal">"<CODE>:</CODE>"</SPAN> <<I>expression</I>> } [ <SPAN class="terminal">"<CODE><SPAN class="keyword">...</SPAN></CODE>"</SPAN> ] <SPAN class="terminal">"<CODE>)</CODE>"</SPAN></TD></TR></TABLE></BLOCKQUOTE><P> </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>label</I>></TD><TD align="center"> ::= </TD><TD><<I>variable label</I>> | <<I>atom label</I>></TD></TR></TABLE></BLOCKQUOTE><P> </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>feature</I>></TD><TD align="center"> ::= </TD><TD><<I>variable</I>> | <<I>atom</I>> | <<I>int</I>></TD></TR></TABLE></BLOCKQUOTE><P> </P></DIV><H2><A name="label19">4.2 Class Extensions</A></H2><P> </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>statement</I>></TD><TD align="center"> += </TD><TD><CODE><SPAN class="keyword">class</SPAN></CODE> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD>[ <CODE><SPAN class="keyword">from</SPAN></CODE> { <<I>variable</I>> }+ ]</TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD>[ <CODE><SPAN class="keyword">prop</SPAN></CODE> { <<I>variable</I>> }+ ]</TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD>[ <CODE><SPAN class="keyword">attr</SPAN></CODE> { <SPAN class="terminal">"<CODE><SPAN class="keyword">!</SPAN></CODE>"</SPAN> <<I>variable</I>> [ <SPAN class="terminal">"<CODE>:</CODE>"</SPAN> <<I>variable</I>> ] }+ ]</TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD>[ <CODE><SPAN class="keyword">feat</SPAN></CODE> { <SPAN class="terminal">"<CODE><SPAN class="keyword">!</SPAN></CODE>"</SPAN> <<I>variable</I>> [ <SPAN class="terminal">"<CODE>:</CODE>"</SPAN> <<I>variable</I>> ] }+ ]</TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD>{ <<I>method</I>> }</TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><CODE><SPAN class="keyword">lock</SPAN></CODE> <<I>statement</I>> <CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE><SPAN class="keyword"><-</SPAN></CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE>=</CODE>"</SPAN> <<I>variable</I>> <SPAN class="terminal">"<CODE><SPAN class="keyword"><-</SPAN></CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE><SPAN class="keyword">,</SPAN></CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"> | </TD><TD><<I>variable</I>> <SPAN class="terminal">"<CODE>=</CODE>"</SPAN> <CODE><SPAN class="keyword">self</SPAN></CODE></TD></TR></TABLE></BLOCKQUOTE><P> </P><DIV class="apropos"><P class="margin">Methods</P><P> </P><BLOCKQUOTE><TABLE border="0" cellpadding="0" cellspacing="0"><TR valign="top"><TD><<I>method</I>></TD><TD align="center"> ::= </TD><TD><CODE><SPAN class="keyword">meth</SPAN></CODE> <SPAN class="terminal">"<CODE><SPAN class="keyword">!</SPAN></CODE>"</SPAN> <<I>variable</I>> <SPAN class="terminal">"<CODE>(</CODE>"</SPAN> <SPAN class="terminal">"<CODE><SPAN class="keyword">...</SPAN></CODE>"</SPAN> <SPAN class="terminal">"<CODE>)</CODE>"</SPAN> <SPAN class="terminal">"<CODE>=</CODE>"</SPAN> <<I>variable</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><<I>statement</I>></TD></TR><TR valign="top"><TD></TD><TD align="center"></TD><TD><CODE><SPAN class="keyword">end</SPAN></CODE></TD></TR></TABLE></BLOCKQUOTE><P> </P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#chapter.context-free"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#chapter.translation">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.iscs.nus.edu.sg/~henz">Martin Henz</A> and <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>
|