stream.js 795 B

1234567891011
  1. export const BaseStream = $.type("java.util.stream.BaseStream");
  2. export const Collector = $.type("java.util.stream.Collector");
  3. export const Collector$Characteristics = $.type("java.util.stream.Collector$Characteristics");
  4. export const DoubleStream = $.type("java.util.stream.DoubleStream");
  5. export const DoubleStream$Builder = $.type("java.util.stream.DoubleStream$Builder");
  6. export const IntStream = $.type("java.util.stream.IntStream");
  7. export const IntStream$Builder = $.type("java.util.stream.IntStream$Builder");
  8. export const LongStream = $.type("java.util.stream.LongStream");
  9. export const LongStream$Builder = $.type("java.util.stream.LongStream$Builder");
  10. export const Stream = $.type("java.util.stream.Stream");
  11. export const Stream$Builder = $.type("java.util.stream.Stream$Builder");