Variable declarations
Before a variable can be referenced in a program, it must be declared. The declaration gives the variable a unique name, a type and, optionally, an initial value.
Variable declarations in actions and blocks are statements that are executed when the program’s control flow reaches them.
Variable and expression types must match in a declaration.
Example:
location rect := location(1.0, 1.0, 5.0, 5.0);
integer i;
boolean c := true, d := false;
sequence <integer> s := [1, 3, 5, 7, 11, 13, 17];
string s1 := "abcdefghijklmnopqrstuvwxyz";