Document Templates : Data-types and Expressions : Expressions : Rational Statemate Element Expressions

Rational Statemate Element Expressions

Expressions of this type may be either declared variables or function calls that return a Rational Statemate element (refer tp Documentor Functions). For example, md := stm_r_md (md_name , st); returns a value of type MODULE and assigns it to the variable md in the assignment statement.

As another example, consider the following:

stm_r_md_synonym (stm_r_md (’M1’ , st1) , st2)

Here we use the module extracted by the function stm_r_md as an argument in another function.

There are no constants for Rational Statemate elements. The variables of the above types get their values via the Rational Statemate predefined functions, and are used as arguments in other predefined functions to retrieve additional information. Rational Statemate element ID numbers are used as values of these expressions.