# 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:

- module

### [ 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