Sitelet https://web.archive.org/web/20211101022441/https://github.com/github/codeql/pull/7008
Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Java: Model java.util.Optional lambda methods #7008

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
@JLLeitschuh
Copy link
Contributor

@JLLeitschuh JLLeitschuh commented Oct 29, 2021 •

Adds support for the various lambda-accepting methods on java.util.Optional

Signed-off-by: Jonathan Leitschuh <Jonathan.Leitschuh@gmail.com>
@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 29, 2021

⚠️ The head of this PR and the base branch were compared for differences in the framework coverage reports. The generated reports are available in the artifacts of this workflow run. The differences will be picked up by the nightly job after the PR gets merged.

Click to show differences in coverage

java

Generated file changes for java

  • Changes to framework-coverage-java.rst:
-    Java Standard Library,``java.*``,3,510,30,13,,,7,,,10
+    Java Standard Library,``java.*``,3,519,30,13,,,7,,,10
-    Totals,,175,5332,408,13,6,10,107,33,1,66
+    Totals,,175,5341,408,13,6,10,107,33,1,66
  • Changes to framework-coverage-java.csv:
- java.util,,,420,,,,,,,,,,,,,,,,,,,,,15,405
+ java.util,,,429,,,,,,,,,,,,,,,,,,,,,15,414

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment