This file is indexed.

/usr/share/mozart/doc/demo/lift.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>8 Lift</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="bounce.html#chapter.bounce">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="transportation.html#chapter.transportation">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.lift"><H1><A name="chapter.lift">8 Lift</A></H1><H3 class="authors"><A href="http://www.ps.uni-sb.de/~mmueller/">Martin&nbsp;Müller</A></H3><P> </P><P class="linkmenu">[ <A href="applets/Lift.oza">Start Applet</A>  | <A href="../install/node14.html#appendix.applets">How to enable Applets</A>  ]</P><P> </P><P> This demo performs a simple simulation of lifts. It can be operated both in an interactive (<A href="lift.html#section.lift.interactive">Section&nbsp;``Interactive Mode''</A>) mode or fully automatically (<A href="lift.html#section.lift.automatic">Section&nbsp;``Automatic Mode''</A>). </P><DIV class="unnumbered" id="section.lift.interactive"><H2><A name="section.lift.interactive">Interactive Mode</A></H2><P> </P><DL><DT>Request </DT><DD><P>Clicking one of the triangles on the left issues a request for a lift to the respective floor for service in the indicated direction. The lift that can serve the request quickest (according to its current schedule) will be sent to the requesting floor. </P></DD><DT>Send </DT><DD><P>On arrival of a lift, a console will pop up requesting the user to indicate the goal. While the console is visible, the corresponding lift is not available for other requests. Once the user clicks one of the circles, the lift will add the corresponding request into its schedule and serve it. </P></DD></DL><P> </P></DIV><DIV class="unnumbered" id="section.lift.automatic"><H2><A name="section.lift.automatic">Automatic Mode</A></H2><P> </P><DL><DT>Start </DT><DD><P>Clicking the button marked <EM>start</EM> generates a random sequence of lift requests and serves them just as the requests generated interactively. </P></DD><DT>Stop </DT><DD><P>Clicking the button again, now marked <EM>stop</EM>, stops the automatic generation of lift requests. </P></DD></DL><P> </P><P> Interactive lift requests can be issued in addition. </P></DIV><DIV class="unnumbered" id="section.lift.implementation"><H2><A name="section.lift.implementation">Implementation</A></H2><HR><UL class="toc"><LI><A href="node25.html#code.lift">Root functor: <CODE>Lift.oz</CODE></A></LI></UL></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="bounce.html#chapter.bounce">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="transportation.html#chapter.transportation">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>