Code

Improve cast warnings/errors logic#337

Code

Closed

AndrewShf wants to merge 63 commits intoeisop:mastereisop/checker-framework:masterfrom AndrewShf:eisop_typecastAndrewShf/checker-framework:eisop_typecastCopy head branch name to clipboard

+301-65

Commits

Commits on Sep 21, 2022

• add downcast to cf

  AndrewShf

  committed
  298df8a

  Copy full SHA for 298df8a

• add downcast to cf

  AndrewShf

  committed
  c4588df

  Copy full SHA for c4588df

• add downcast/incomparable cast to cf

  AndrewShf

  committed
  82740f7

  Copy full SHA for 82740f7

• use getEffectiveAnnotation

  AndrewShf

  committed
  d71ead6

  Copy full SHA for d71ead6

• check the java type down cast

  AndrewShf

  committed
  0dec947

  Copy full SHA for 0dec947

• revert typo fix, fix in another pr

  AndrewShf

  committed
  f5c5d22

  Copy full SHA for f5c5d22

• add incomparable cast message key

  AndrewShf

  committed
  c916493

  Copy full SHA for c916493

• replace some warnings with incompatible cast errors

  AndrewShf

  committed
  bfa5794

  Copy full SHA for bfa5794

• refined the approach when casting T to T

  AndrewShf

  committed
  93a6a1a

  Copy full SHA for 93a6a1a

• suppress some warnings

  AndrewShf

  committed
  b04007c

  Copy full SHA for b04007c

• refine the logic to cast from T to T

  AndrewShf

  committed
  9b116a7

  Copy full SHA for 9b116a7

• add method documentation

  AndrewShf

  committed
  b88949f

  Copy full SHA for b88949f

• remove useless for loop

  AndrewShf

  committed
  361f487

  Copy full SHA for 361f487

• update mustcallvisitor, signedness visitor

  AndrewShf

  committed
  874e594

  Copy full SHA for 874e594

Commits on Oct 12, 2022

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  09904ba

  Copy full SHA for 09904ba

Commits on Oct 13, 2022

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  9862649

  Copy full SHA for 9862649

• Merge remote-tracking branch 'eisop/master' into eisop_typecast

  AndrewShf

  committed
  b8f1549

  Copy full SHA for b8f1549

• add one test file and improve documentation

  AndrewShf

  committed
  deffd1d

  Copy full SHA for deffd1d

Commits on Oct 14, 2022

• move testfile to another directory

  AndrewShf

  committed
  4f476f2

  Copy full SHA for 4f476f2

• fix testcase

  AndrewShf

  committed
  f82dc77

  Copy full SHA for f82dc77

Commits on Oct 17, 2022

• fix testcase

  AndrewShf

  committed
  efeeea2

  Copy full SHA for efeeea2

Commits on Nov 1, 2022

• improve naming in the error message

  AndrewShf

  committed
  c34285f

  Copy full SHA for c34285f

Commits on Nov 2, 2022

• add comments

  AndrewShf

  committed
  16d69a6

  Copy full SHA for 16d69a6

Commits on Nov 4, 2022

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  4cd7e9a

  Copy full SHA for 4cd7e9a

Commits on Feb 22, 2023

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  cb0cb64

  Copy full SHA for cb0cb64

Commits on Feb 24, 2023

• solve field shadowing

  AndrewShf

  committed
  d7429e4

  Copy full SHA for d7429e4

• update error messages

  AndrewShf

  committed
  8502489

  Copy full SHA for 8502489

• simplify branches

  AndrewShf

  committed
  72e074e

  Copy full SHA for 72e074e

• update

  AndrewShf

  committed
  1cfd105

  Copy full SHA for 1cfd105

Commits on Mar 1, 2023

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  e92f0c6

  Copy full SHA for e92f0c6

Commits on Apr 25, 2023

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  0658def

  Copy full SHA for 0658def

Commits on Apr 27, 2023

• merge with eisop master

  AndrewShf

  committed
  7991a8b

  Copy full SHA for 7991a8b

Commits on May 8, 2023

• merge with eisop master

  AndrewShf

  committed
  4ffe0f1

  Copy full SHA for 4ffe0f1

• merge code in valuevisitor

  AndrewShf

  committed
  fa1439e

  Copy full SHA for fa1439e

Commits on Jul 3, 2023

• change name of the enum

  AndrewShf

  committed
  a15d727

  Copy full SHA for a15d727

Commits on Jul 5, 2023

• remove daikon checkout id

  AndrewShf

  committed
  bfee453

  Copy full SHA for bfee453

• add daikon checkout back, as it is resolved by another pr

  AndrewShf

  committed
  20d62af

  Copy full SHA for 20d62af

• Merge remote-tracking branch 'eisop/master' into eisop_typecast

  AndrewShf

  committed
  8e0f908

  Copy full SHA for 8e0f908

Commits on Sep 1, 2023

• Merge branch 'master' into eisop_typecast

  AndrewShf

  authored
  91b22c9

  Copy full SHA for 91b22c9

Commits on Sep 26, 2023

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  09cc33d

  Copy full SHA for 09cc33d

• Merge remote-tracking branch 'eisop/master' into eisop_typecast

  AndrewShf

  committed
  24105c4

  Copy full SHA for 24105c4

Commits on Sep 27, 2023

• Merge remote-tracking branch 'origin/eisop_typecast' into eisop_typecast

  AndrewShf

  committed
  c2bea34

  Copy full SHA for c2bea34

• add changelog entry

  AndrewShf

  committed
  1ec438e

  Copy full SHA for 1ec438e

• Merge branch 'master' into eisop_typecast

  AndrewShf

  authored
  a6fb6ce

  Copy full SHA for a6fb6ce

Commits on Sep 29, 2023

• Merge branch 'master' into eisop_typecast

  AndrewShf

  authored
  724a95e

  Copy full SHA for 724a95e

Commits on Sep 30, 2023

• Merge branch 'master' into eisop_typecast

  AndrewShf

  authored
  d241446

  Copy full SHA for d241446

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  07eaacb

  Copy full SHA for 07eaacb

Commits on Oct 1, 2023

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  4229827

  Copy full SHA for 4229827

Commits on Oct 2, 2023

• Enum rename; Improve comments

  Show description for fc9ad98
  

  AndrewShf

  and

  wmdietl

  authored
  fc9ad98

  Copy full SHA for fc9ad98

• rename enum and improve comments in the test file CastFromTtoT.java

  AndrewShf

  committed
  d06ad1f

  Copy full SHA for d06ad1f

• improve jovadoc

  AndrewShf

  committed
  f4ffe07

  Copy full SHA for f4ffe07

Commits on Oct 3, 2023

• move isTypeCastSafe to an earlier position

  AndrewShf

  committed
  ac60c2e

  Copy full SHA for ac60c2e

Commits on Nov 20, 2023

• Merge remote-tracking branch 'eisop/master' into eisop_typecast

  AndrewShf

  committed
  0115fbe

  Copy full SHA for 0115fbe

• use new apis for the change

  AndrewShf

  committed
  67ba76b

  Copy full SHA for 67ba76b

• fix error messages on the test files

  AndrewShf

  committed
  0b78587

  Copy full SHA for 0b78587

• fix error messages on the test files

  AndrewShf

  committed
  1b8f4ab

  Copy full SHA for 1b8f4ab

Commits on Nov 22, 2023

• Merge remote-tracking branch 'eisop/master' into eisop_typecast

  AndrewShf

  committed
  2d969fc

  Copy full SHA for 2d969fc

• improve document

  AndrewShf

  committed
  1b20546

  Copy full SHA for 1b20546

• Merge branch 'master' into eisop_typecast

  AndrewShf

  authored
  b94311d

  Copy full SHA for b94311d

Commits on Jan 3, 2024

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  98060e3

  Copy full SHA for 98060e3

Commits on Jan 4, 2024

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  f4d4ec1

  Copy full SHA for f4d4ec1

Commits on Jul 14, 2024

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  0831233

  Copy full SHA for 0831233

Commits on Dec 27, 2024

• Merge branch 'master' into eisop_typecast

  wmdietl

  authored
  9147d86

  Copy full SHA for 9147d86