Data_Type

Data Type¶

TorXakis has predefined and user defined 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’](http://www.w3.org/TR/xmlschema11-2/#regexs) Note: The regular expressions are also translate to [POSIX](https://en.wikibooks.org/wiki/Regular_Expressions/POSIX-Extended_Regular_Expressions) 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.

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