Member predicate ArrayFunction :: hasArrayWithVariableSize
Holds if parameter bufParam
should always point to a buffer with the
number of elements indicated by countParam
.
predicate
hasArrayWithVariableSize
(
int
bufParam
,
int
countParam
)