diff --git a/jdk/src/java.base/share/classes/java/util/stream/BaseStream.java b/jdk/src/java.base/share/classes/java/util/stream/BaseStream.java index 61e74867a19..0328b25cafd 100644 --- a/jdk/src/java.base/share/classes/java/util/stream/BaseStream.java +++ b/jdk/src/java.base/share/classes/java/util/stream/BaseStream.java @@ -79,6 +79,14 @@ public interface BaseStream> *

This is a terminal * operation. * + *

+ * The returned spliterator should report the set of characteristics derived + * from the stream pipeline (namely the characteristics derived from the + * stream source spliterator and the intermediate operations). + * Implementations may report a sub-set of those characteristics. For + * example, it may be too expensive to compute the entire set for some or + * all possible stream pipelines. + * * @return the element spliterator for this stream */ Spliterator spliterator();