/usr/share/mozart/doc/notation/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>5.3 Class Extensions</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="node7.html#section.translation.constraints"><< Prev</A></TD><TD><A href="node5.html">- Up -</A></TD><TD><A href="node9.html#section.translation.functors">Next >></A></TD></TR></TABLE><DIV id="section.translation.classes"><H2><A name="section.translation.classes">5.3 Class Extensions</A></H2><DIV class="unnumbered"><H3><A name="label38">Classes</A></H3><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE> = <SPAN class="keyword">class</SPAN> </CODE>[<CODE> $ </CODE>]<CODE> </CODE>...<CODE> <SPAN class="keyword">end</SPAN></CODE></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">class</SPAN> </CODE><I>x</I><CODE> </CODE>...<CODE> <SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR></TABLE><P> </P></DIV><DIV class="unnumbered"><H3><A name="label39">Method Names</A></H3><P> </P><TABLE border="1"><TR valign="top"><TD><<I>method head</I>>, <<I>method head label</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><CODE><SPAN class="keyword">unit</SPAN></CODE></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">!</SPAN><SPAN class="string">`Unit.'unit'`</SPAN></CODE></P></TD></TR></TABLE></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>method head</I>>, <<I>method head label</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><CODE><SPAN class="keyword">true</SPAN></CODE></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">!</SPAN><SPAN class="string">`Bool.'true'`</SPAN></CODE></P></TD></TR></TABLE></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>method head</I>>, <<I>method head label</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><CODE><SPAN class="keyword">false</SPAN></CODE></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">!</SPAN><SPAN class="string">`Bool.'false'`</SPAN></CODE></P></TD></TR></TABLE></TD></TR></TABLE><P> </P></DIV><DIV class="unnumbered"><H3><A name="label40">Locks</A></H3><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE> = <SPAN class="keyword">lock</SPAN> </CODE><I>E</I><CODE> <SPAN class="keyword">end</SPAN></CODE></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">lock</SPAN> </CODE><I>x</I><CODE> = </CODE><I>E</I><CODE> <SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR></TABLE><P> </P></DIV><DIV class="unnumbered"><H3><A name="label41">Operators</A></H3><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>E1</I><CODE> <SPAN class="keyword"><-</SPAN> </CODE><I>E2</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">local</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword">in</SPAN> <BR> </CODE><CODE><I>X</I></CODE><CODE> = </CODE><I>E1</I><CODE> <BR> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword"><-</SPAN> </CODE><I>E2</I><CODE> <BR><SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if <I>E1</I> is no variable.</P></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE> <SPAN class="keyword"><-</SPAN> </CODE><I>E</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">local</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword">in</SPAN> <BR> </CODE><CODE><I>X</I></CODE><CODE> = </CODE><I>E</I><CODE> <BR> </CODE><CODE><I>x</I></CODE><CODE> <SPAN class="keyword"><-</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <BR><SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if <I>E</I> is no variable.</P></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE> = </CODE><I>E1</I><CODE> <SPAN class="keyword"><-</SPAN> </CODE><I>E2</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">local</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword">in</SPAN> <BR> </CODE><CODE><I>X</I></CODE><CODE> = </CODE><I>E1</I><CODE> <BR> </CODE><I>x</I><CODE> = </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword"><-</SPAN> </CODE><I>E2</I><CODE> <BR><SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if <I>E1</I> is no variable.</P></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE> = </CODE><I>y</I><CODE> <SPAN class="keyword"><-</SPAN> </CODE><I>E</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">local</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword">in</SPAN> <BR> </CODE><CODE><I>X</I></CODE><CODE> = </CODE><I>E</I><CODE> <BR> </CODE><I>x</I><CODE> = </CODE><I>y</I><CODE> <SPAN class="keyword"><-</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <BR><SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if <I>E</I> is no variable.</P></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE> = </CODE><I>E1</I><CODE><SPAN class="keyword">,</SPAN> </CODE><I>E2</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><I>E1</I><CODE><SPAN class="keyword">,</SPAN> </CODE><I>E2'</I></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if exactly one <CODE>$</CODE> occurs in <I>E2</I> in pattern position. <I>E2'</I> is the result of replacing this <CODE>$</CODE> in <I>E2</I> by <I>x</I>.</P></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>E1</I><CODE><SPAN class="keyword">,</SPAN> </CODE><I>E2</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">local</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword">in</SPAN> <BR> </CODE><CODE><I>X</I></CODE><CODE> = </CODE><I>E1</I><CODE> <BR> </CODE><CODE><I>X</I></CODE><CODE><SPAN class="keyword">,</SPAN> </CODE><I>E2</I><CODE> <BR><SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if <I>E1</I> is no variable.</P></TD></TR></TABLE><P> </P><TABLE border="1"><TR valign="top"><TD><<I>statement</I>> ::=</TD></TR><TR><TD><TABLE width="100%"><TR><TD><P><I>x</I><CODE><SPAN class="keyword">,</SPAN> </CODE><I>E</I></P></TD><TD><IMG alt="==>" src="latex15.png"></TD><TD><P><CODE><SPAN class="keyword">local</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <SPAN class="keyword">in</SPAN> <BR> </CODE><CODE><I>X</I></CODE><CODE> = </CODE><I>E</I><CODE> <BR> </CODE><CODE><I>x</I></CODE><CODE><SPAN class="keyword">,</SPAN> </CODE><CODE><I>X</I></CODE><CODE> <BR><SPAN class="keyword">end</SPAN></CODE></P></TD></TR></TABLE></TD></TR><TR valign="top"><TD><P>if <I>E</I> is no variable.</P></TD></TR></TABLE><P> </P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node7.html#section.translation.constraints"><< Prev</A></TD><TD><A href="node5.html">- Up -</A></TD><TD><A href="node9.html#section.translation.functors">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>
|