Java: Add models for java.util.stream. #6770

The (important) method collect(Collector<T,A,R> collector) is unfortunately not supported yet - left as follow-up work.

The mapMulti methods are too complex to fully handle with our current method body synthesis. The full model would look something like

1] of Argument[0] -> Element of Parameter[1] of Argument[0] Element of Parameter[1] of Argument[0] -> Element of ReturnValue ">

        Element of Argument[-1] -> Parameter[0] of Argument[0]
        Argument[0] of Parameter[1] of Argument[0] -> Element of Parameter[1] of Argument[0]
        Element of Parameter[1] of Argument[0] -> Element of ReturnValue

which should then synthesise

        mapMulti(mapper) {
          elm = this.elem
          cons = new Consumer {
            retelem
            apply(x) { this.retelem = x }
          }
          mapper(elm, cons)
          //stream = ...
          stream.elem = cons.retelem
          return stream
        }

Sep	OCT	Nov
	03
2020	2021	2022

Learn and contribute

Connect with others

github / codeql Public

Java: Add models for java.util.stream. #6770

Are you sure you want to change the base?

Java: Add models for java.util.stream. #6770

aschackmull commented Sep 28, 2021

intrigus-lgtm Sep 28, 2021

aschackmull Sep 29, 2021

Marcono1234 Sep 28, 2021

aschackmull Sep 29, 2021

aschackmull commented Sep 30, 2021

github / codeql Public

Java: Add models for java.util.stream. #6770

Are you sure you want to change the base?

Java: Add models for java.util.stream. #6770

Conversation

aschackmull commented Sep 28, 2021

intrigus-lgtm Sep 28, 2021

aschackmull Sep 29, 2021

Marcono1234 Sep 28, 2021

aschackmull Sep 29, 2021

aschackmull commented Sep 30, 2021