SALSA Analysis Modules
|
The actual types are listed in types ; here are some semantic issues pertaining to array types.
The uniform calling structure of the modules allows only one parameter to be returned. This is a problem only for array types: we want both the array data and the length of the array. Hence we adopt the convention that every array is longer by one element than necessary, and the zero element contains the length of the array proper. That is, to store 5 elements, 6 elements are allocated, and the zero element contains the number '5'.
If, in this documentation, we refer to location array[i], we will take this to mean location `i' after the size element. Zero-based indexing is used.