The TASM Language Reference Manual Version 1.1 - Synrc

Table 3.1: Reserved Keywords
Keyword Meaning
t
Used for time annotations
next Used in time annotations to denote a special value of time
now Used to obtain the value of the global clock
new Used to instantiate a machine template
Integer Denotes the integer datatype
Float Denotes the float datatype
Boolean Denotes the boolean datatype
False Denotes a constant in the boolean datatype
True Denotes a constant in the boolean datatype
and Denotes a logical connective
or Denotes a logical connective
not Denotes a unary operator
skip Denotes the production of an empty update set
else Denotes the special ”else rule”
// Used to comment out a given line
TASM also allows the definition of user-defined types, which are analogous to enumerations
in most programming languages. However, user-defined types are not assigned
integer values and are unordered. A user-defined type is a named type that can
be used to provide readable options and type safety. More specifically, a user-defined
type is a named type that contains one ore more named values. For example, we can
define user-defined types to denote the status of a light status or the mode of an airplane:
• light status = {ON, OFF}
• airplane mode = {Idle, Taxi, Takeoff, Cruise, Landing}
User-defined types are unordered sets of one or more elements where elements
must be unique. Each member element is a TASMName. Furthermore, the name of the
type is a TASMName.
The TASM language is a strongly typed language, meaning that all variables are
typed and that type-safety is enforced at compilation time. No type casting is allowed,
even from F loat to Integer. Future versions of the language might allow type casting
through functions supplied by the TASM language.
3.1.4 Arithmetic Operators
For Integer and F loat types, the TASM language provides the four basic arithmetic
operators, applicable only to operands of the same type:
• addition: +
37