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