Member predicate FunctionInput::isParameterOrQualifierAddress
Holds if i >= 0 and isParameter(i) holds for this value, or
if i = -1 and isQualifierAddress() holds for this value.
predicate isParameterOrQualifierAddress(ParameterIndex i)Holds if i >= 0 and isParameter(i) holds for this value, or
if i = -1 and isQualifierAddress() holds for this value.
predicate isParameterOrQualifierAddress(ParameterIndex i)