Titan



infinity


The keyword is used for sub-typing to indicate that:

In case of integer and floating point numbers both positive and negative infinity may be used, for strings and set/record of only postivie infinity is meaningful.

Related keywords:


[-]infinity


Example 1:

type integer Cele (-infinity .. 18);

The values of type Cele are integers less than or equal to eighteen. There is no limit for negative values.


Example 2:

type float Mergitur (1.0E03 .. infinity);

Type Mergitur contains only those real values, which are greater than or equal to one thousand. Values except for this range are disallowed.


Example 3:

type universal charstring Longue length (11 .. infinity);
var Longue v_longue;

The variable v_longue can have at least 11 characters (quadruples). An upper limit is not given.


Example 4:

type record length (42 788 830 .. infinity) of integer Egeeszek;

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.



BNF definition of infinity