void (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState state, @NotNull DfaValue value, @Nullable NullabilityProblemKind.NullabilityProblem<?> problem) { if (problem != null) { DfaNullability nullability = DfaNullability.fromDfType(state.getDfType(value)); ThreeState failed = nullability == DfaNullability.NOT_NULL ? ThreeState.NO : nullability == DfaNullability.NULL ? ThreeState.YES : ThreeState.UNSURE; interpreter.getListener().onCondition(problem, value, failed, state); } }