This file is indexed.

/usr/share/mozart/doc/system/node58.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>23 Emulator Properties: Property</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="node57.html#chapter.pickle">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node77.html#chapter.error">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.property"><H1><A name="chapter.property">23 Emulator Properties: <CODE>Property</CODE></A></H1><P> The <CODE>Property</CODE> module provides operations to query and possibly update Mozart system-related parameters that control various aspects of the Mozart engine and system modules. </P><P> The most important properties can be controlled graphically by means of the Mozart Panel, which is described in <A href="../panel/index.html">``Oz Panel''</A>. </P><P> The properties are accessible to the programmer by operations resembling the operations on dictionaries: <CODE>Property<SPAN class="keyword">.</SPAN>put</CODE> sets a property, whereas <CODE>Property<SPAN class="keyword">.</SPAN>get</CODE> and <CODE>Property<SPAN class="keyword">.</SPAN>condGet</CODE> access properties. The operations are described <A href="node58.html#section.property.interface">here</A> in more detail. </P><HR><UL class="toc"><LI><A href="node59.html#section.property.intro">23.1 Engine Properties</A><UL class="toc"><LI><A href="node60.html#section.property.application">Application Support: <CODE>application</CODE></A></LI><LI><A href="node61.html#section.property.dp">Distribution: <CODE>dp</CODE></A><UL class="toc"><LI><A href="node61.html#section.property.dp.annotation">Default annotations: <CODE>dp<SPAN class="keyword">.</SPAN>annotation</CODE></A></LI></UL></LI><LI><A href="node62.html#section.property.dplog">Logging of distributed events: <CODE>dpLog</CODE></A></LI><LI><A href="node63.html#section.property.errors">Printing Errors: <CODE>errors</CODE></A></LI><LI><A href="node64.html#section.property.fd">Finite Domains: <CODE>fd</CODE></A></LI><LI><A href="node65.html#section.property.gc">Garbage Collection: <CODE>gc</CODE></A></LI><LI><A href="node66.html#section.property.limits">Implementation Limits: <CODE>limits</CODE></A></LI><LI><A href="node67.html#section.property.marshaler">Marshaler: <CODE>marshaler</CODE></A></LI><LI><A href="node68.html#section.property.memory">Memory Usage: <CODE>memory</CODE></A></LI><LI><A href="node69.html#section.property.messages">Printing Messages: <CODE>messages</CODE></A></LI><LI><A href="node70.html#section.property.platform">Platform Information: <CODE>platform</CODE></A></LI><LI><A href="node71.html#section.property.print">Printing Values: <CODE>print</CODE></A></LI><LI><A href="node72.html#section.property.priority">Thread Priorities: <CODE>priorities</CODE></A></LI><LI><A href="node73.html#section.property.spaces">Computation Spaces: <CODE>spaces</CODE></A></LI><LI><A href="node74.html#section.property.threads">Threads: <CODE>threads</CODE></A></LI><LI><A href="node75.html#section.property.time">Time Usage: <CODE>time</CODE></A></LI></UL></LI></UL><UL class="toc"><LI><A href="node76.html#section.property.env">23.2 Environment Properties</A></LI></UL><HR><DIV id="section.property.interface"><H2><A name="section.property.interface">23.3 The Programming Interface</A></H2><P> </P><DL><DT><A name="label831"></A><SPAN class="index"><CODE>get</CODE></SPAN> <A name="label833"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Property<SPAN class="keyword">.</SPAN>get&nbsp;</CODE><CODE>+<I>LI</I></CODE><CODE>&nbsp;</CODE><CODE><I>X</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the property stored under the key <CODE><I>LI</I></CODE> (a literal or an integer). Raises an exception, if no property with key <CODE><I>LI</I></CODE> exists. </P></DD><DT><A name="label834"></A><SPAN class="index"><CODE>condGet</CODE></SPAN> <A name="label836"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Property<SPAN class="keyword">.</SPAN>condGet&nbsp;</CODE><CODE>+<I>LI</I></CODE><CODE>&nbsp;</CODE><CODE><I>X</I></CODE><CODE>&nbsp;</CODE><CODE><I>Y</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the property stored under the key <CODE><I>LI</I></CODE> (a literal or an integer). If no property with key <CODE><I>LI</I></CODE> exists, <CODE><I>X</I></CODE> is returned. </P></DD><DT><A name="label837"></A><SPAN class="index"><CODE>put</CODE></SPAN> <A name="label839"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Property<SPAN class="keyword">.</SPAN>put&nbsp;</CODE><CODE>+<I>LI</I></CODE><CODE>&nbsp;</CODE><CODE><I>X</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>Stores the property <CODE><I>X</I></CODE> under key <CODE><I>LI</I></CODE> (a literal or an integer). Raises an exception, if the property is read-only. </P></DD></DL><P> </P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node57.html#chapter.pickle">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node77.html#chapter.error">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin&nbsp;Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A> and&nbsp;<A href="http://www.info.ucl.ac.be/~pvr">Peter&nbsp;Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>