Repository navigation

Check functional-interface arguments of side-effect-free methods - #8204

Closed

smillst wants to merge 67 commits into

typetools:masterfrom

smillst:side-effect-free-functional-params

Closed

Check functional-interface arguments of side-effect-free methods #8204
smillst wants to merge 67 commits into
typetools:masterfrom
smillst:side-effect-free-functional-params

Commits on Sep 8, 2026
- Update sideeffectfree javadoc.
  smillst
  committed
  1718f43
- Document purity of lambdas and functional-interface parameters
  
  smillst
  and
  claude
  committed
  84a53cd
- Revert "Update sideeffectfree javadoc."
  smillst
  committed
  fc38f89
Commits on Sep 10, 2026
- Merge ../checker-framework-branch-master into siddeffectfree-spec
  mernst
  committed
  f0aa2a8
- Edits
  mernst
  committed
  fb2d3de
Commits on Sep 14, 2026
- Tweaks.
  smillst
  committed
  d44bde9
Commits on Sep 15, 2026
- Merge branch 'master' into siddeffectfree-spec
  mernst
  authored
  39ce816
Commits on Sep 16, 2026
- Check functional-interface arguments of side-effect-free methods
  
  smillst
  and
  claude
  committed
  9d18bab
- Fix holes and false positives in the functional-argument check
  
  smillst
  and
  claude
  committed
  4ab0231
- Merge remote-tracking branch 'origin/master' into side-effect-free-functional-params
  smillst
  committed
  d2661ba
- Check each result expression of a conditional or switch argument
  
  smillst
  and
  claude
  committed
  92e3d23
- Do not query the members of the null type
  
  smillst
  and
  claude
  committed
  6d5fa18
Commits on Sep 17, 2026
- Merge branch 'master' into side-effect-free-functional-params
  smillst
  authored
  e39d069
- Merge remote-tracking branch 'origin/master' into side-effect-free-functional-params
  smillst
  committed
  d26adfb
- Suppress Interning Checker warnings on Element identity comparisons
  
  smillst
  and
  claude
  committed
  3f8af7c
- Do not infer purity that would constrain functional-interface arguments
  
  smillst
  and
  claude
  committed
  451c1ab
- Keep refinements in a lambda that calls a functional-interface parameter
  
  smillst
  and
  claude
  committed
  928b37f
- Check a method reference like a lambda that calls the referenced method
  
  smillst
  and
  claude
  committed
  ba26020
- Check the arguments passed to a varargs functional-interface parameter
  
  smillst
  and
  claude
  committed
  d0f2701
Commits on Sep 18, 2026
- Merge remote-tracking branch 'origin/master' into side-effect-free-functional-params
  smillst
  committed
  66e4fd9
- Apply the purity assumptions to a method with no purity annotation
  
  smillst
  and
  claude
  committed
  3163f81
- Apply the purity assumptions to a functional argument with no purity annotation
  
  smillst
  and
  claude
  committed
  2dc8e1b
- Merge branch 'purity-assume-unannotated' into side-effect-free-functional-params
  
  smillst
  and
  claude
  committed
  bffe864
- Adapt tests to the purity annotations on java.util.Comparator
  
  smillst
  and
  claude
  committed
  f07786e
Commits on Sep 21, 2026
- Add some purity annotations.
  smillst
  committed
  f8f578b
- Remove change log entry.
  smillst
  authored
  b6349bb
- Merge remote-tracking branch 'origin/master' into side-effect-free-functional-params
  smillst
  committed
  09cd558
Commits on Sep 22, 2026
Commits on Sep 23, 2026
Commits on Sep 24, 2026
Commits on Sep 29, 2026
- Merge branch 'master' into side-effect-free-functional-params
  mernst
  committed
  55dccfd
Commits on Sep 30, 2026
- Add test: inherited method implementing an interface method with weaker purity requirement
  mernst
  committed
  7b5da5a
- Merge branch 'master' into side-effect-free-functional-params
  smillst
  authored
  0313140
Commits on Oct 2, 2026
Commits on Oct 5, 2026
- Merge branch 'master' into side-effect-free-functional-params
  smillst
  authored
  b3bb4af
- Check an argument to a method type variable parameter against its type at the call site
  smillst
  committed
  8063daa
Commits on Oct 6, 2026
- Do not infer purity for a method with a parameter of an Object-bounded type variable
  smillst
  committed
  403df4e

Commits

Commits on Sep 8, 2026

Commits on Sep 10, 2026

Commits on Sep 14, 2026

Commits on Sep 15, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Sep 18, 2026

Commits on Sep 21, 2026

Commits on Sep 22, 2026

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Commits on Sep 29, 2026

Commits on Sep 30, 2026

Commits on Oct 2, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026