Member predicate FunctionInput :: isParameterDerefOrQualifierObject
Holds if i >= 0 and isParameterDeref(i, ind) holds for this value, or
if i = -1 and isQualifierObject(ind) holds for this value.
predicate
isParameterDerefOrQualifierObject
(
ParameterIndex
i
,
int
ind
)