/usr/share/titan/help/info/integer.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 | <!--
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>integer</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="int2unichar.html"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="interleave.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>integer</h1>
<hr align="left" width="75%">
<p>The keyword <b><font face="Courier New">integer</font></b> denotes a simple basic type whose distinguished values are the positive and negative whole numbers, including zero.</p>
<ul>
<li>Values of integer type shall be <a href="#double_quotation">denoted by one or more digits</a>; the first digit shall not be zero unless the value is 0.</li>
<li>The value zero shall be represented by a single zero.</li>
<li>The <a href="#quotation_inside">range of the permitted integer values</a> may be specified.</li>
<li>The specified <a href="infinity.html#double_quotation">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 integer 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>Predefined function operating on integer numbers:</li>
<ul>
<li><a href="#str2int">int2float</a> converts an integer value into a floating point number .</li>
</ul>
</ul>
<p>Related keyword:</p>
<ul>
<li><a href="bit2int.html"><b><font face="Courier New" color="#003258" size="4">bit2int</font></b></a></li>
<li><a href="char2int.html"><b><font face="Courier New" color="#003258" size="4">char2int</font></b></a></li>
<li><a href="float2int.html"><b><font face="Courier New" color="#003258" size="4">float2int</font></b></a></li>
<li><a href="hex2int.html"><b><font face="Courier New" color="#003258" size="4">hex2int</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="int2bit.html"><b><font face="Courier New" color="#003258" size="4">int2bit</font></b></a></li>
<li><a href="int2char.html"><b><font face="Courier New" color="#003258" size="4">int2char</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="int2hex.html"><b><font face="Courier New" color="#003258" size="4">int2hex</font></b></a></li>
<li><a href="int2oct.html"><b><font face="Courier New" color="#003258" size="4">int2oct</font></b></a></li>
<li><a href="int2str.html"><b><font face="Courier New" color="#003258" size="4">int2str</font></b></a></li>
<li><a href="int2unichar.html"><b><font face="Courier New" color="#003258" size="4">int2unichar</font></b></a></li>
<li><a href="lengthof.html"><b><font face="Courier New" color="#003258" size="4">lengthof</font></b></a></li>
<li><a href="oct2int.html"><b><font face="Courier New" color="#003258" size="4">oct2int</font></b></a></li>
<li><a href="regexp.html"><b><font face="Courier New" color="#003258" size="4">regexp</font></b></a></li>
<li><a href="sizeof.html"><b><font face="Courier New" color="#003258" size="4">sizeof</font></b></a></li>
<li><a href="str2int.html"><b><font face="Courier New" color="#003258" size="4">str2int</font></b></a></li>
<li><a href="substr.html"><b><font face="Courier New" color="#003258" size="4">substr</font></b></a></li>
<li><a href="unichar2int.html"><b><font face="Courier New" color="#003258" size="4">unichar2int</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>integer</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 integer v_egeesz := 65213;<br>
</font>
<p>The variable defined is called v_egeesz and has the initial value 65213.</p>
<hr align="left" width="50%">
<p><a name="quotation_inside">Example 2</a>:
<p><font face="Courier New">var integer v_tartomaany (3 .. 7);<br>
</font>
<p>The variable v_tartomaany may have the following values: 3, 4, 5, 6, 7.</p>
<hr align="left" width="50%">
<p><a name="list">Example 3</a>:
<p><font face="Courier New">var integer v_schlagbaum (12, -12);<br>
</font>
<p>The variable called v_schlagbaum may hold the values 12 and -12 only .</p>
<hr align="left" width="50%">
<p><a name="relation">Example 4</a>:
<p><font face="Courier New">var integer v_2hataar ( 1, 3, 7 .. 9, 11 );<br>
</font>
<p>The variable v_2hataar may hold the values 1, 3, 7, 8, 9, 11.</p>
<hr align="left" width="50%">
<p><a name="str2int">Example 5</a>:
<p><font face="Courier New">const float c_csarnoka := int2float (3);<br>
</font>
<p>The constant called c_csarnoka will have the floating point value 3.0.</p>
<hr align="left" width="25%">
<hr align="left" width="25%">
<p align="left"><a HREF="BNF.html#integerkeyword">BNF definition</a> of <font face="Courier New">integer</font><br>
<a HREF="BNF.html#integervalue">BNF definition</a> of integer value</p>
</body>
</html>
|