/usr/share/titan/help/info/float.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 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 | <!--
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
Csorba, Mate
Farkas, Laszlo
Forstner, Matyas
Szabados, Kristof
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Language" content="en-us">
<title>float</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 alt="previous" href="false.html"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="float2int.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>float</h1>
<hr align="left" width="75%">
<p>The keyword <b><font face="Courier New">float</font></b> denotes a simple basic type describing floating point numbers.</p>
<ul>
<li>Values of float type shall be denoted by either
<ul>
<li>the <a href="#double_quotation">normal notation</a> with a dot in a sequence of numbers, or</li>
<li>by <a href="#Example 2">two numbers separated by E</a> where the first number specifies the mantissa and the second specifies the exponent (the base is always 10).</li>
</ul>
</li>
<li>The <a href="#quotation_inside">range of the permitted floating point values</a> may be specified.</li>
<li>The specified <a href="infinity.html#quotation_inside">range may be infinite</a> (both positive and negative; see the keyword <a href="infinity.html"><b><font
face="Courier New" color="#003258" size="4">infinity</font></b></a>).</li>
<li>Another way to limit the permitted float values is <a href="#list">to list them</a>.</li>
<li>Value list and value range restrictions <a href="#relation">may be combined</a></li>
<li>A <a href="#Example 5">random floating point number</a> may be generated using the predefined function rnd().</li>
<li>Predefined function operating on floating point numbers:</li>
<ul>
<li><a href="#str2int">float2int</a> converts a floating point number into an integer value.</li>
</ul>
</ul>
<table border="0" width="100%" bgcolor="#C9C2BB" cellpadding="4">
<tr>
<td width="100%">
<p> <u>TITAN specific extension to the standard:</u></p>
<ul>
<ul>
<li><a href="#str2bit">float2str</a> converts a floating point value to a character string.</li>
</ul>
</ul>
</td>
</tr>
</table>
<p>Related keyword:</p>
<ul>
<li><a href="float2int.html"><b><font face="Courier New" color="#003258" size="4">float2int</font></b></a></li>
<li><a href="float2str.html"><b><font face="Courier New" color="#003258" size="4">float2str</font></b></a></li>
<li><a href="infinity.html"><b><font face="Courier New" color="#003258" size="4">infinity</font></b></a></li>
<li><a href="int2float.html"><b><font face="Courier New" color="#003258" size="4">int2float</font></b></a></li>
<li><a href="rnd.html"><b><font face="Courier New" color="#003258" size="4">rnd</font></b></a></li>
<li><a href="str2float.html"><b><font face="Courier New" color="#003258" size="4">str2float</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>float</b></font></h3>
</td>
</tr>
</table>
</center>
</div>
<hr align="left" width="50%">
<p><a name="double_quotation">Example 1</a>:
<p><font face="Courier New">var float v_lebeg := 65.213;<br>
</font>
<p>The variable defined is called v_lebeg and has the initial value 65.213 (with scientific notation 6.5213E1).</p>
<hr align="left" width="50%">
<p><a name="Example 2">Example 2</a>:</p>
<p><font face="Courier New">var float v_flotte := 6521.3E-2;<br>
</font>
<p>The variable defined is called v_flotte and has the initial value 6521.3E-2 (with normal notation 65.213).</p>
<hr align="left" width="50%">
<p><a name="quotation_inside">Example 2</a>:
<p><font face="Courier New">var float v_territoire (3.3 .. 7.7);<br>
</font>
<p>The variable v_territoire may have values between 3.3 and 7.7 inclusive.</p>
<hr align="left" width="50%">
<p><a name="list">Example 3</a>:
<p><font face="Courier New">var float v_kado (1.2, 5E9, -12);<br>
</font>
<p>The variable called v_kado may hold the values 1.2, 5E9 and -12 only .</p>
<hr align="left" width="50%">
<p><a name="relation">Example 4</a>:
<p><font face="Courier New">var float v_kenyeer ( 1.9, 7.000 .. 7.999, 11.1E1 );<br>
</font>
<p>The variable v_kenyeer may hold the values 1.9, 111 and any value between 7.000 and 7.999 inclusive.</p>
<hr align="left" width="50%">
<p><a name="Example 5">Example 5</a>:</p>
<p><font face="Courier New">var float v_veeletlen := rnd ( 1.9 );<br>
</font>
<p>The variable v_veeletlen will have a random initial value between 0 and 1. The argument of the function is an optional seed value used for the first time random value calculation. If it is
omitted, the system time will be used as seed.</p>
<hr align="left" width="50%">
<p><a name="str2int">Example 6</a>:
<p><font face="Courier New">const integer c_tam := float2int (344.511E-2);<br>
</font>
<p>The constant called c_tam will have the integer value 3 (the function calculates the integer value by removing the fractional part of the argument).</p>
<hr align="left" width="50%">
<p><a name="str2bit">Example 7</a>:</p>
<p><font face="Courier New">const bitstring c_recefice := float2str (3.14); <br>
</font>
<p>The constant called c_recefice will contain the character string "3.140000" because if the input is zero or its absolute value is between 10<sup>-4</sup> and 10<sup>10</sup> the
decimal dot notation is used in the output with 6 digits in the fraction part. Otherwise the exponential notation is used with automatic (at most 6) digits precision in the mantissa.</p>
<hr align="left" width="25%">
<hr align="left" width="25%">
<p align="left"><a HREF="BNF.html#floatkeyword">BNF definition</a> of <font face="Courier New">float</font><br>
<a HREF="BNF.html#floatvalue">BNF definition</a> of float value</p>
</body>
</html>
|