DVE Symbols

There exist 4 types of DVE symbols:

Variables

Variables can be constant or not. Constant variables do not influence the complexity of computation and they are almost the same as numeral constants. To determine whether the variable is constant you can use method is_const().

There are 2 types of variables

You can determine the type of variable by method get_var_type() or by methods is_byte() and is_int().

Variables can be also divided to scalar and vector. You can find out whether a variable is vector by the method is_vector().

Scalar variables
There is a set of methods determined specially for scalar variables. This time there is only the method get_init_expr(), which returns an expression initalizing the variable.

Vector variables
There is a set of methods determined specially for vector variables. You can get the size of vector using a method get_vector_size(). Furthermore there is a set of methods determined to get the initializating expressions of the vector: get_init_expr_count(), get_init_expr(const std::size_t i).

Process states

Process states are the states of a single process. They can be declared only locally in each process. Each process has a special process state _error_, which is used for error detection (variable overflow, division by zero etc.).

Channels

Channels can be declared only globally. There are 2 types of channels:

Processes

Processes can be declared only globally.

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University