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)