Previous: , Up: Imperative Statements   [Contents][Index]

10.4.4.9 variable

Defining a local variable is syntactically identical to a behavior variable: 

variable ::= (type identifier = expression
               | data-type identifier = data-expression
               | data-type identifier) ";"

For example: 

bool b = true;
bool not_idle = !idle;
bool c = negate (idle);