Template Parameters

The syntax for parameters is defined by the grammar for TemplateParams:

TemplateParams ::= [ Params ]
Params         ::= Param (',' Param)* 
Param          ::= Type [ & ] ID ArrayDecl*

The TypeId and ArrayDecl non-terminals are defined in the section on declarations. In contrast to global and local declarations the parameter list should not end with a ";"-sign.

Parameters can be either reference parameters og value parameters. See the section on functions for more information.

Examples

• clock x; bool bit
  process template p has two parameters: the clock x and the boolean variable bit. Both are value parameters.
• clock x, clock y, int i1, int &i2; chan a, chan b
  process template q has six parameters: two clocks, two integer variables (with default range), and two channels. All parameters except i2 are value parameters. i2 is a reference parameter.