2 Copyright (c) 2000-2016 Ericsson Telecom AB
3 All rights reserved. This program and the accompanying materials
4 are made available under the terms of the Eclipse Public License v1.0
5 which accompanies this distribution, and is available at
6 http://www.eclipse.org/legal/epl-v10.html
17 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
18 <meta http-equiv=
"Content-Language" content=
"en-us">
19 <title>infinity
</title>
21 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
22 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
24 <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>
27 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
29 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
30 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
31 <td><a alt=
"previous" href=
"inconc.html"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
32 <td><a href=
"inout.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
39 <hr align=
"left" width=
"75%">
40 <p>The keyword is used for sub-typing to indicate that:
</p>
42 <li>the range of an integer value is not limited,
</li>
43 <li>the range of an floating point value is not limited,
</li>
44 <li>the length of a string is not limited
</li>
45 <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>
47 <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
48 postivie infinity is meaningful.
</p>
49 <p>Related keywords:
</p>
51 <li><a href=
"bitstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">bitstring
</font></b></a></li>
52 <li><a href=
"charstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">charstring
</font></b></a></li>
53 <li><a href=
"float.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">float
</font></b></a></li>
54 <li><a href=
"hexstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">hexstring
</font></b></a></li>
55 <li><a href=
"integer.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">integer
</font></b></a></li>
56 <li><a href=
"octetstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">octetstring
</font></b></a></li>
57 <li><a href=
"of.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">of
</font></b></a></li>
58 <li><a href=
"type.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">type
</font></b></a></li>
59 <li><a href=
"universal.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">universal
</font></b></a></li>
61 <hr align=
"left" width=
"50%">
64 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
67 <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"
68 size=
"5">infinity
</font> </b></h3>
74 <hr align=
"left" width=
"50%">
75 <p><a name=
"double_quotation">Example
1</a>:
76 <p><font face=
"Courier New">type integer Cele (-infinity ..
18);
<br>
78 <p>The values of type Cele are integers less than or equal to eighteen. There is no limit for negative values.
</p>
79 <hr align=
"left" width=
"50%">
80 <p><a name=
"quotation_inside">Example
2</a>:
81 <p><font face=
"Courier New">type float Mergitur (
1.0E03 .. infinity);
<br>
83 <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>
84 <hr align=
"left" width=
"50%">
85 <p><a name=
"quotation_inside">Example
3</a>:
86 <p><font face=
"Courier New">type universal charstring Longue length (
11 .. infinity);
<br>
87 var Longue v_longue;
</font>
88 <p>The variable v_longue can have at least
11 characters (quadruples). An upper limit is not given.
</p>
89 <hr align=
"left" width=
"50%">
90 <p><a name=
"relation">Example
4</a>:
91 <p><code> type record length (
42 788 830 .. infinity) of integer Egeeszek;
</code>
92 <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>
93 <hr align=
"left" width=
"25%">
94 <hr align=
"left" width=
"25%">
95 <p align=
"left"><a HREF=
"BNF.html#infinitykeyword">BNF definition
</a> of
<font face=
"Courier New">infinity
</font></p>