Predicate InconsistentCallOnResult::checkExpr

The method access otherCall

  • is described by operation,
  • operates on v,
  • is different from callToCheck, and
  • is not a call to an excluded method.
predicate checkExpr(MethodAccess callToCheck, MethodAccess otherCall, string operation, Variable v)