# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT. extensions: - addsTo: pack: codeql/java-all extensible: summaryModel data: - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Collector$Characteristics[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Collector$Characteristics[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Collector$Characteristics[])", "", "Argument[2]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Function,Collector$Characteristics[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Function,Collector$Characteristics[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Function,Collector$Characteristics[])", "", "Argument[2]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collector", True, "of", "(Supplier,BiConsumer,BinaryOperator,Function,Collector$Characteristics[])", "", "Argument[3]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "collectingAndThen", "(Collector,Function)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "filtering", "(Predicate,Collector)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "flatMapping", "(Function,Collector)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "groupingBy", "(Function,Supplier,Collector)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "groupingByConcurrent", "(Function,Supplier,Collector)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "mapping", "(Function,Collector)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "toCollection", "(Supplier)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Collectors", False, "toConcurrentMap", "(Function,Function,BinaryOperator,Supplier)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream$Builder", True, "add", "(double)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "DoubleStream$Builder", True, "build", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "boxed", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "concat", "(DoubleStream,DoubleStream)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "concat", "(DoubleStream,DoubleStream)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "distinct", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "dropWhile", "(DoublePredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "dropWhile", "(DoublePredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "filter", "(DoublePredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "flatMap", "(DoubleFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "generate", "(DoubleSupplier)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "limit", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "map", "(DoubleUnaryOperator)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "mapMulti", "(DoubleStream$DoubleMapMultiConsumer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "mapToInt", "(DoubleToIntFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "mapToLong", "(DoubleToLongFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "mapToObj", "(DoubleFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "peek", "(DoubleConsumer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "skip", "(long)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "DoubleStream", True, "sorted", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "takeWhile", "(DoublePredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "DoubleStream", True, "takeWhile", "(DoublePredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream$Builder", True, "add", "(int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "IntStream$Builder", True, "build", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "asDoubleStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "asLongStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "boxed", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "concat", "(IntStream,IntStream)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "concat", "(IntStream,IntStream)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "distinct", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "dropWhile", "(IntPredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "dropWhile", "(IntPredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "filter", "(IntPredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "flatMap", "(IntFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "generate", "(IntSupplier)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "limit", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "map", "(IntUnaryOperator)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "mapMulti", "(IntStream$IntMapMultiConsumer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "mapToDouble", "(IntToDoubleFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "mapToLong", "(IntToLongFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "peek", "(IntConsumer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "skip", "(long)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "IntStream", True, "sorted", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "takeWhile", "(IntPredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "IntStream", True, "takeWhile", "(IntPredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream$Builder", True, "add", "(long)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "LongStream$Builder", True, "build", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "asDoubleStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "boxed", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "concat", "(LongStream,LongStream)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "concat", "(LongStream,LongStream)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "distinct", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "dropWhile", "(LongPredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "dropWhile", "(LongPredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "filter", "(LongPredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "flatMap", "(LongFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "generate", "(LongSupplier)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "limit", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "map", "(LongUnaryOperator)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "mapMulti", "(LongStream$LongMapMultiConsumer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "mapToDouble", "(LongToDoubleFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "mapToInt", "(LongToIntFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "mapToObj", "(LongFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "peek", "(LongConsumer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "skip", "(long)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "LongStream", True, "sorted", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "takeWhile", "(LongPredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "LongStream", True, "takeWhile", "(LongPredicate)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "Node$Builder$OfDouble", True, "build", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "Node$Builder$OfInt", True, "build", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "Node$Builder$OfLong", True, "build", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "Node$OfDouble", True, "truncate", "(long,long,IntFunction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "Node$OfInt", True, "truncate", "(long,long,IntFunction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "Node$OfLong", True, "truncate", "(long,long,IntFunction)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "Sink$ChainedDouble", True, "ChainedDouble", "(Sink)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util.stream", "Sink$ChainedInt", True, "ChainedInt", "(Sink)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util.stream", "Sink$ChainedLong", True, "ChainedLong", "(Sink)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util.stream", "Sink$ChainedReference", True, "ChainedReference", "(Sink)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util.stream", "Stream$Builder", True, "add", "(Object)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.stream", "StreamSupport", False, "doubleStream", "(Spliterator$OfDouble,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "doubleStream", "(Supplier,int,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "intStream", "(Spliterator$OfInt,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "intStream", "(Supplier,int,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "longStream", "(Spliterator$OfLong,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "longStream", "(Supplier,int,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "stream", "(Spliterator,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util.stream", "StreamSupport", False, "stream", "(Supplier,int,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - addsTo: pack: codeql/java-all extensible: neutralModel data: - ["java.util.stream", "Collectors", "averagingDouble", "(ToDoubleFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "averagingInt", "(ToIntFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "averagingLong", "(ToLongFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "counting", "()", "summary", "df-generated"] - ["java.util.stream", "Collectors", "groupingBy", "(Function)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "groupingBy", "(Function,Collector)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "groupingByConcurrent", "(Function)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "groupingByConcurrent", "(Function,Collector)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "maxBy", "(Comparator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "minBy", "(Comparator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "partitioningBy", "(Predicate)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "partitioningBy", "(Predicate,Collector)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "reducing", "(BinaryOperator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "reducing", "(Object,BinaryOperator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "reducing", "(Object,Function,BinaryOperator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "summarizingDouble", "(ToDoubleFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "summarizingInt", "(ToIntFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "summarizingLong", "(ToLongFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "summingDouble", "(ToDoubleFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "summingInt", "(ToIntFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "summingLong", "(ToLongFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "teeing", "(Collector,Collector,BiFunction)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "toConcurrentMap", "(Function,Function)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "toConcurrentMap", "(Function,Function,BinaryOperator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "toUnmodifiableList", "()", "summary", "df-generated"] - ["java.util.stream", "Collectors", "toUnmodifiableMap", "(Function,Function)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "toUnmodifiableMap", "(Function,Function,BinaryOperator)", "summary", "df-generated"] - ["java.util.stream", "Collectors", "toUnmodifiableSet", "()", "summary", "df-generated"] - ["java.util.stream", "DoubleStream", "builder", "()", "summary", "df-generated"] - ["java.util.stream", "DoubleStream", "empty", "()", "summary", "df-generated"] - ["java.util.stream", "DoubleStream", "iterate", "(double,DoublePredicate,DoubleUnaryOperator)", "summary", "df-generated"] - ["java.util.stream", "DoubleStream", "iterate", "(double,DoubleUnaryOperator)", "summary", "df-generated"] - ["java.util.stream", "DoubleStream", "of", "(double)", "summary", "df-generated"] - ["java.util.stream", "DoubleStream", "of", "(double[])", "summary", "df-generated"] - ["java.util.stream", "IntStream", "builder", "()", "summary", "df-generated"] - ["java.util.stream", "IntStream", "empty", "()", "summary", "df-generated"] - ["java.util.stream", "IntStream", "iterate", "(int,IntPredicate,IntUnaryOperator)", "summary", "df-generated"] - ["java.util.stream", "IntStream", "iterate", "(int,IntUnaryOperator)", "summary", "df-generated"] - ["java.util.stream", "IntStream", "of", "(int)", "summary", "df-generated"] - ["java.util.stream", "IntStream", "of", "(int[])", "summary", "df-generated"] - ["java.util.stream", "IntStream", "rangeClosed", "(int,int)", "summary", "df-generated"] - ["java.util.stream", "LongStream", "builder", "()", "summary", "df-generated"] - ["java.util.stream", "LongStream", "empty", "()", "summary", "df-generated"] - ["java.util.stream", "LongStream", "iterate", "(long,LongPredicate,LongUnaryOperator)", "summary", "df-generated"] - ["java.util.stream", "LongStream", "iterate", "(long,LongUnaryOperator)", "summary", "df-generated"] - ["java.util.stream", "LongStream", "of", "(long)", "summary", "df-generated"] - ["java.util.stream", "LongStream", "of", "(long[])", "summary", "df-generated"] - ["java.util.stream", "LongStream", "range", "(long,long)", "summary", "df-generated"] - ["java.util.stream", "LongStream", "rangeClosed", "(long,long)", "summary", "df-generated"] - ["java.util.stream", "Node$OfDouble", "copyInto", "(Double[],int)", "summary", "df-generated"] - ["java.util.stream", "Node$OfDouble", "forEach", "(Consumer)", "summary", "df-generated"] - ["java.util.stream", "Node$OfDouble", "getShape", "()", "summary", "df-generated"] - ["java.util.stream", "Node$OfDouble", "newArray", "(int)", "summary", "df-generated"] - ["java.util.stream", "Node$OfInt", "copyInto", "(Integer[],int)", "summary", "df-generated"] - ["java.util.stream", "Node$OfInt", "forEach", "(Consumer)", "summary", "df-generated"] - ["java.util.stream", "Node$OfInt", "getShape", "()", "summary", "df-generated"] - ["java.util.stream", "Node$OfInt", "newArray", "(int)", "summary", "df-generated"] - ["java.util.stream", "Node$OfLong", "copyInto", "(Long[],int)", "summary", "df-generated"] - ["java.util.stream", "Node$OfLong", "forEach", "(Consumer)", "summary", "df-generated"] - ["java.util.stream", "Node$OfLong", "getShape", "()", "summary", "df-generated"] - ["java.util.stream", "Node$OfLong", "newArray", "(int)", "summary", "df-generated"] - ["java.util.stream", "Node$OfPrimitive", "asArray", "(IntFunction)", "summary", "df-generated"] - ["java.util.stream", "Node$OfPrimitive", "getChild", "(int)", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedDouble", "begin", "(long)", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedDouble", "cancellationRequested", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedDouble", "end", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedInt", "begin", "(long)", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedInt", "cancellationRequested", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedInt", "end", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedLong", "begin", "(long)", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedLong", "cancellationRequested", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedLong", "end", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedReference", "begin", "(long)", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedReference", "cancellationRequested", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$ChainedReference", "end", "()", "summary", "df-generated"] - ["java.util.stream", "Sink$OfDouble", "accept", "(Double)", "summary", "df-generated"] - ["java.util.stream", "Sink$OfInt", "accept", "(Integer)", "summary", "df-generated"] - ["java.util.stream", "Sink$OfLong", "accept", "(Long)", "summary", "df-generated"] - ["java.util.stream", "Stream", "builder", "()", "summary", "df-generated"] - ["java.util.stream", "Stream", "empty", "()", "summary", "df-generated"]