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.
- Module parameters shall not be of port type, timer type, default type, component type or anytype;
- a module parameter shall only be of type address if the address type is explicitly defined within the associated module;
- module parameters shall be declared within the module definition part only.;
- redefinition of the module parameter is not allowed;
- it is allowed to specify default values for module parameters in the module parameter list.
Related keywords:
[ visibility ]
modulepar module_parameter_def ;
[ visibility ]
modulepar{ module_parameter_def [ ; module_parameter_def... ] };
|
- The modulepar keyword introduces module parameter definitions.
- The module_parameter_def lists one or more module parameters with the same type. Several parameters of the same type are separated by commas.
- Parameters of different types shall be placed into separate module parameter definitions.
- Values of module parameters can be defined or overwritten in the TITAN Run-time configuration file.
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