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