@Override public void interruptedExecution(CheckerContext context) { Exception cause = ((CheckerDispatcher) context).interruptionCause(); Preconditions.checkNotNull(cause, "cause should always be present when exploration is interrupted"); reportIssue(methodNames.pop(), "SE Interrupted: " + cause.getMessage()); }
@Override public void interruptedExecution(CheckerContext context) { Exception cause = ((CheckerDispatcher) context).interruptionCause(); Preconditions.checkNotNull(cause, "cause should always be present when exploration is interrupted"); reportIssue(methodNames.pop(), "SE Interrupted: " + cause.getMessage()); }