Code

Infer generics for assignments#1131

Code

Open

haewiful wants to merge 64 commits intouber:masteruber/NullAway:masterfrom haewiful:infer-genericshaewiful/NullAway01:infer-genericsCopy head branch name to clipboard

+371-8

Commits

Commits on Nov 5, 2024

• fix and test

  msridhar

  committed
  b3eba82

  Copy full SHA for b3eba82

• another fix and test

  msridhar

  committed
  bc9e5fb

  Copy full SHA for bc9e5fb

• add TODO

  msridhar

  committed
  174b262

  Copy full SHA for 174b262

Commits on Nov 11, 2024

• check explicit type arguments when comparing generic type param nullability at call

  haewiful

  committed
  c94dc28

  Copy full SHA for c94dc28

• formatting

  haewiful

  committed
  32b87ab

  Copy full SHA for 32b87ab

• add test case for explicit type arguments

  haewiful

  committed
  e1dfa8a

  Copy full SHA for e1dfa8a

• Merge branch 'master' into check-type-param

  haewiful

  authored
  be9c657

  Copy full SHA for be9c657

• apply substitution to method type

  msridhar

  committed
  24ca5a1

  Copy full SHA for 24ca5a1

Commits on Nov 12, 2024

• Merge branch 'master' into check-type-param

  msridhar

  authored
  cc45e43

  Copy full SHA for cc45e43

Commits on Nov 13, 2024

• make function that substitutes explicit type arguments

  haewiful

  committed
  3f3ebf2

  Copy full SHA for 3f3ebf2

Commits on Nov 18, 2024

• test case

  haewiful

  committed
  7004926

  Copy full SHA for 7004926

Commits on Dec 7, 2024

• add test for multiple generics

  haewiful

  committed
  aaba869

  Copy full SHA for aaba869

• temp structure of inferred_types cache - need to change map key type

  haewiful

  committed
  37ef4d1

  Copy full SHA for 37ef4d1

Commits on Jan 13, 2025

• infer on assignments draft

  haewiful

  committed
  c6a6244

  Copy full SHA for c6a6244

• new test case for inference on assignments

  haewiful

  committed
  277e2b6

  Copy full SHA for 277e2b6

• update test case

  haewiful

  committed
  e7346d3

  Copy full SHA for e7346d3

Commits on Jan 15, 2025

• simple cleanup

  haewiful

  committed
  bca1d7d

  Copy full SHA for bca1d7d

• formatting

  haewiful

  committed
  453623a

  Copy full SHA for 453623a

• Merge remote-tracking branch 'upstream/master' into infer-generics

  haewiful

  committed
  9375170

  Copy full SHA for 9375170

• minor changes

  haewiful

  committed
  db0b6ce

  Copy full SHA for db0b6ce

• move cache into GenericsChecks and make related methods nonstatic

  haewiful

  committed
  35b18cf

  Copy full SHA for 35b18cf

Commits on Jan 26, 2025

• Merge branch 'master' into infer-generics

  msridhar

  authored
  0308a5b

  Copy full SHA for 0308a5b

• formatting

  msridhar

  committed
  f5ece94

  Copy full SHA for f5ece94

Commits on Jan 28, 2025

• fix CI Job failure

  Show description for f89fef0
  haewiful

  committed
  f89fef0

  Copy full SHA for f89fef0

• remove unused code

  haewiful

  committed
  0c577ae

  Copy full SHA for 0c577ae

Commits on Feb 3, 2025

• debugged for testJdk23

  haewiful

  committed
  61e4f3e

  Copy full SHA for 61e4f3e

• fetch and merge

  haewiful

  committed
  9f6c91b

  Copy full SHA for 9f6c91b

• Merge branch 'master' into infer-generics

  haewiful

  authored
  8a30816

  Copy full SHA for 8a30816

Commits on Feb 4, 2025

• recreated :caffeine:compileTestJava error

  haewiful

  committed
  4f4ca89

  Copy full SHA for 4f4ca89

• update test case

  haewiful

  committed
  d96769a

  Copy full SHA for d96769a

Commits on Feb 5, 2025

• add scenarios to test cases

  haewiful

  committed
  b3dda68

  Copy full SHA for b3dda68

Commits on Feb 6, 2025

• add expected errors for testcase

  haewiful

  committed
  5f1e08f

  Copy full SHA for 5f1e08f

• add upper bound checks

  haewiful

  committed
  1e9699a

  Copy full SHA for 1e9699a

• update NullAway.java

  haewiful

  committed
  a2489ea

  Copy full SHA for a2489ea

Commits on Feb 7, 2025

• formatting

  msridhar

  committed
  ddf2440

  Copy full SHA for ddf2440

• remove unnecessary parameter

  msridhar

  committed
  24241b5

  Copy full SHA for 24241b5

• Merge branch 'master' into infer-generics

  msridhar

  committed
  fbedd9c

  Copy full SHA for fbedd9c

Commits on Feb 10, 2025

• update test cases

  haewiful

  committed
  e07c020

  Copy full SHA for e07c020

• version passing all tests

  haewiful

  committed
  e15754a

  Copy full SHA for e15754a

• change according to comments

  haewiful

  committed
  d5c4e5f

  Copy full SHA for d5c4e5f

• mid status

  haewiful

  committed
  6c4430e

  Copy full SHA for 6c4430e

• make code more simple

  haewiful

  committed
  e4051cc

  Copy full SHA for e4051cc

• make pass ./gradlew :nullaway:buildWithNullAway

  haewiful

  committed
  82628ca

  Copy full SHA for 82628ca

• Merge branch 'master' into infer-generics

  haewiful

  authored
  430e855

  Copy full SHA for 430e855

• remove always true condition

  haewiful

  committed
  f8c8d07

  Copy full SHA for f8c8d07

• make method for clearing inferredTypes cache

  haewiful

  committed
  6bc1d0c

  Copy full SHA for 6bc1d0c

Commits on Feb 13, 2025

• Merge branch 'master' into infer-generics

  msridhar

  authored
  099fae7

  Copy full SHA for 099fae7

Commits on Feb 21, 2025

• change based on comments

  haewiful

  committed
  29255bb

  Copy full SHA for 29255bb

• add visitor for infering types on assignments using method calls

  haewiful

  committed
  575006e

  Copy full SHA for 575006e

• javadoc

  haewiful

  committed
  2ab7a31

  Copy full SHA for 2ab7a31

• update according to changed method definition

  haewiful

  committed
  61d6f95

  Copy full SHA for 61d6f95

• Merge branch 'master' into infer-generics

  haewiful

  authored
  d984de2

  Copy full SHA for d984de2

• add test case for return types with arrays

  haewiful

  committed
  f7c4a3f

  Copy full SHA for f7c4a3f

• add array type inference to visitor

  haewiful

  committed
  461c309

  Copy full SHA for 461c309

Commits on Feb 22, 2025

• clean up

  haewiful

  committed
  48bb542

  Copy full SHA for 48bb542

• change key of inferredTypes to MethodInvokationTree

  haewiful

  committed
  5573800

  Copy full SHA for 5573800

• change inferredTypes value type to Map<TypeVariable, Type>

  haewiful

  committed
  bbae811

  Copy full SHA for bbae811

• format

  haewiful

  committed
  3c77d70

  Copy full SHA for 3c77d70

• remove filter call

  msridhar

  committed
  ea785ba

  Copy full SHA for ea785ba

• simplify

  msridhar

  committed
  2aec29b

  Copy full SHA for 2aec29b

• add failing test

  msridhar

  committed
  014fc93

  Copy full SHA for 014fc93

• make it work for assignments that are not declarations

  haewiful

  committed
  b45bbad

  Copy full SHA for b45bbad

• simplify

  msridhar

  committed
  50f73de

  Copy full SHA for 50f73de

• another test

  msridhar

  committed
  cd2ec93

  Copy full SHA for cd2ec93