void (@NotNull List<TraceElement> values) { if (myNextListener == null) return; final List<TraceElement> nextValues = values.stream().flatMap(x -> getNextValues(x).stream()).collect(Collectors.toList()); myNextListener.highlightingChanged(nextValues, PropagationDirection.FORWARD); }