Data Type

TorXakis has predefined and user defined data types.

Predefined Data Types

TorXakis has the following four predefined data types.

data type name

description

Bool

Boolean value: True and False

Int

Unbounded Integer values

String

“Sequence of ASCII characters”

Regex

‘W3C XSD Regular Expression String’ Note: The regular expressions are also translate to POSIX Some limitations of POSIX are not solved. Consequence: regular expression like (a{0}) and [a-]] will fail. Of course, they can be rewritten to a POSIX valid regular expression.

User Defined Data Types

In TorXakis, one can defined datatypes, including unions, Cartesian Products, and recursive types, using