10.3 Types and Expressions

In Dezyne all variables and constants are typed. A number of type constructs are available.

state-type      ::= bool / enum / subint / void
data-type       ::= extern
type            ::= state-type | data-type

types are used for event reply types, variables, function parameters, function, function return types, and function call arguments. data-types are used for event and action parameters. Currently, events cannot have state-types parameters; only data-types.

Before Dezyne 2.19.0, the event reply type, and function return type, where restricted to state-types. As of Dezyne 2.19.0, data-types are also allowed.

• void
• bool
• enum
• subint
• extern data
• Expressions