Titan



modulepar


The module parameter list defines a set of values that are supplied by the test environment at run-time. During test execution these values shall be treated as constants.

Related keywords:


[ visibility ] modulepar module_parameter_def ;

[ visibility ] modulepar{ module_parameter_def [ ; module_parameter_def... ] };


Example


modulepar boolean tsp_main := false;
modulepar integer tsp_switch, tsp_emergency;

The module parameters consist one Boolean (tsp_main) and two integer module parameters (tsp_switch, tsp_emergency). The Boolean value has the default value false.


The above example could also have been written like this:

modulepar {
  boolean tsp_main := false;
  integer tsp_switch, tsp_emergency;
}


BNF definition of modulepar