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