/usr/share/titan/help/info/default.html is in eclipse-titan 6.3.1-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | <!--
Copyright (c) 2000-2017 Ericsson Telecom AB
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html
Contributors:
Baji, Laszlo
Balasko, Jeno
Baranyi, Botond
Farkas, Laszlo
Szabados, Kristof
Zalanyi, Balazs Andor
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Language" content="en-us">
<title>default</title>
</head>
<body bgcolor="#DAD3C5" vlink="#0094D2" link="#003258">
<table align="left" border="0" cellspacing="0" cellpadding="0" valign=top>
<tr>
<td width=105 height=40><a href="https://projects.eclipse.org/projects/tools.titan"><img src="../images/titan_transparent.gif" border=0 width=105 height=40 align="left" alt="Titan"></a></td>
</tr>
</table>
<table border="0" align="right" cellpadding="0" cellspacing="0">
<tr>
<td><a href="../titan_main.html" alt="contents"><img border="0" src="../images/ao.jpg" width="53" height="40"></a></td>
<td><a href="../titan_index.html" alt="index"><img border="0" src="../images/up.jpg" width="53" height="40"></a></td>
<td><a href="decvalue_unichar.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="derefers.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
<p><br clear="all">
</p>
<hr>
<h1>default</h1>
<hr align="left" width="75%">
<p>The default type is an implementation dependent special type which stores the default reference. </p>
<ul>
<li>Default context is a set of branches (cf. <a href="altstep.html"><b><font face="Courier New" size="4">altstep</font></b></a>) that is implicitly appended at the end of all <a
href="alt.html"><b><font size="4" face="Courier New">alt</font></b></a> statements (except if the alt has an else branch) and after all stand-alone receive/timeout/done ⦠statements. When no
branch of the alt matches the received message, the previously activated default(s) are examined.</li>
<li>A default reference is the result of an <b><a href="activate.html"><font face="Courier New" size="4">activate</font></a></b> operation.</li>
<li>The reference can be used to <b><a href="deactivate.html"><font face="Courier New" size="4">deactivate</font></a></b> a given default.</li>
<li>The special value <b><a href="null.html"><font face="Courier New" size="4">null</font></a></b> is available to indicate an undefined default reference, e.g. for the initialization of
variables to handle default references.</li>
<li>It is possible to have several defaults activated at same time and deactivate them one by one. The last activated default will be placed first in the list of the activated defaults.</li>
</ul>
<p>Related keywords:</p>
<ul>
<li><a href="activate.html"><b><font face="Courier New" color="#003258" size="4">activate</font></b></a></li>
<li><a href="alt.html"><b><font face="Courier New" color="#003258" size="4">alt</font></b></a></li>
<li><a href="altstep.html"><b><font face="Courier New" color="#003258" size="4">alstep</font></b></a></li>
<li><a href="deactivate.html"><b><font face="Courier New" color="#003258" size="4">deactivate</font></b></a></li>
<li><a href="null.html"><b><font face="Courier New" color="#003258" size="4">null</font></b></a></li>
</ul>
<hr align="left" width="50%">
<div align="center">
<center>
<table border="0" width="90%" bgcolor="#FFB599" cellpadding="4">
<tr>
<td width="100%">
<h3 align="center"><font face="Courier New" color="#003258" size="5"><b>default</b></font></h3>
</td>
</tr>
</table>
</center>
</div>
<hr align="left" width="50%">
<p>Example 1:
<p><font face="Courier New">var default vd_MyDefaultVar := null;<br>
</font>
<p>A variable called vd_MyDefaultVar is declared and initialized with the null value.</p>
<hr align="left" width="25%">
<hr align="left" width="25%">
<p><a HREF="BNF.html#defaultkeyword">BNF definition</a> of <font face="Courier New">default</font></p>
</body>
</html>
|