/usr/share/titan/help/info/while.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 82 83 | <!--
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
Farkas, Laszlo
Szabados, Kristof
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Language" content="en-us">
<title>while</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="verdicttype.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="with.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>while</h1>
<hr align="left" width="75%">
<p>The keyword is used...
<ol>
<li><a href="#keyword">alone</a> to define a loop where the loop condition is checked before of each new loop iteration (see below);</li>
<li>together with the keyword <a href="do.html"><b><font face="Courier New" color="#003258" size="4">do</font></b></a> to define a loop where the loop condition is checked before of each new
loop iteration.</li>
</ol>
<hr align="left" width="50%">
<p>The <a name="keyword"> keyword</a> defines on its own a loop which is executed as long as the loop condition holds. The loop condition shall be checked at the beginning of each new loop
iteration. If the loop condition does not hold, then the loop is exited and execution shall continue with the statement, which immediately follows the loop.</p>
<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>while (</b></font><i> condition</i><font face="Courier New" color="#003258" size="5"><b>) {</b></font> <i>
statement_block </i><font face="Courier New" color="#003258" size="5"><b>};</b></font></h3>
</td>
</tr>
</table>
</center>
</div>
<ul>
<li>
<p>The <font face="Courier New" color="#003258" size="4"><b>while</b></font> keyword introduces the loop.</p>
</li>
<li>
<p><i>condition</i> is a Boolean expression. It is checked at the beginning of each new loop iteration. If it evaluates to false, the loop terminates.</p>
</li>
<li>
<p><i>statement_block</i> contains one or more statements. The block will be executed in a loop provided <i>condition</i> is true.</p>
</li>
</ul>
<hr align="left" width="50%">
<p>Example 1:
<p><font face="Courier New">var integer i := 3; <br>
while (i<=10) {i:= i+2 }<br>
</font>
<p>The loop variable i is declared in the first line and it is given the initial value 3. In the second line, a loop is defined. The loop execution terminates when the index value will have
a value greater than 10. In the statement block the index variable is increased by 2 every time the loop is executed. The loop will be executed 5 times.</p>
<hr align="left" width="25%">
<hr align="left" width="25%">
<p><a HREF="BNF.html#whilestatement">BNF definition</a> of <font face="Courier New">while</font></p>
</body>
</html>
|