Specifying parameters for environments
Component Testing for C
You can specify parameters for environments.
Declare the parameters in the ENVIRONMENT instruction as you would for a service:
ENVIRONMENT compute_histo1(a,b,c,d)
VAR x1, init = a, ev = init
VAR x2, init = b, ev = init
VAR y1, init = c, ev = init
VAR y2, init = d, ev = init
ARRAY histo[0..SIZE_HISTO?1], init = 0, ev = 0
VAR status, init ==, ev = 0
END ENVIRONMENT
The parameters are identifiers, which you can use in variable status instructions, as follows:
-
In initial or expected value expressions
-
In expressions delimiting bounds of arrays in extended mode
The parameters are initialized when they are used:
USE compute_histo1(0,0,SIZE_IMAGE?1,SIZE_IMAGE?1)
The number of values must be strictly equal to the number of parameters defined for the environment. The values can be expressions of any type.