/usr/share/titan/help/info/infinity.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 | <!--
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
Gecse, Roland
Szabados, Kristof
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Language" content="en-us">
<title>infinity</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="inconc.html"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="inout.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>infinity</h1>
<hr align="left" width="75%">
<p>The keyword is used for sub-typing to indicate that:</p>
<ul>
<li>the range of an integer value is not limited,</li>
<li>the range of an floating point value is not limited,</li>
<li>the length of a string is not limited</li>
<li>the numer of elements in <font face="Courier New"><b>set of</b></font> and <font face="Courier New"><b>record of</b></font> is not limited.</li>
</ul>
<p>In case of integer and floating point numbers both positive and negative infinity may be used, for strings and <font face="Courier New"><b><a href="of.html">set/record of</a></b></font> only
postivie infinity is meaningful.</p>
<p>Related keywords:</p>
<ul>
<li><a href="bitstring.html"><b><font face="Courier New" color="#003258" size="4">bitstring</font></b></a></li>
<li><a href="charstring.html"><b><font face="Courier New" color="#003258" size="4">charstring</font></b></a></li>
<li><a href="float.html"><b><font face="Courier New" color="#003258" size="4">float</font></b></a></li>
<li><a href="hexstring.html"><b><font face="Courier New" color="#003258" size="4">hexstring</font></b></a></li>
<li><a href="integer.html"><b><font face="Courier New" color="#003258" size="4">integer</font></b></a></li>
<li><a href="octetstring.html"><b><font face="Courier New" color="#003258" size="4">octetstring</font></b></a></li>
<li><a href="of.html"><b><font face="Courier New" color="#003258" size="4">of</font></b></a></li>
<li><a href="type.html"><b><font face="Courier New" color="#003258" size="4">type</font></b></a></li>
<li><a href="universal.html"><b><font face="Courier New" color="#003258" size="4">universal</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"><b><font color="#003258">[</font><font face="Courier New" color="#003258" size="5">-</font><font color="#003258">]</font><font face="Courier New" color="#003258"
size="5">infinity</font> </b></h3>
</td>
</tr>
</table>
</center>
</div>
<hr align="left" width="50%">
<p><a name="double_quotation">Example 1</a>:
<p><font face="Courier New">type integer Cele (-infinity .. 18);<br>
</font>
<p>The values of type Cele are integers less than or equal to eighteen. There is no limit for negative values.</p>
<hr align="left" width="50%">
<p><a name="quotation_inside">Example 2</a>:
<p><font face="Courier New">type float Mergitur (1.0E03 .. infinity);<br>
</font>
<p>Type Mergitur contains only those real values, which are greater than or equal to one thousand. Values except for this range are disallowed.</p>
<hr align="left" width="50%">
<p><a name="quotation_inside">Example 3</a>:
<p><font face="Courier New">type universal charstring Longue length (11 .. infinity);<br>
var Longue v_longue; </font>
<p>The variable v_longue can have at least 11 characters (quadruples). An upper limit is not given.</p>
<hr align="left" width="50%">
<p><a name="relation">Example 4</a>:
<p><code> type record length (42 788 830 .. infinity) of integer Egeeszek; </code>
<p>A valid value of type Egeeszek must contain at least forty-two million seven hundred eighty-eight thousand eight hundred thirty elements. An upper limit is not given.</p>
<hr align="left" width="25%">
<hr align="left" width="25%">
<p align="left"><a HREF="BNF.html#infinitykeyword">BNF definition</a> of <font face="Courier New">infinity</font></p>
</body>
</html>
|