Code

Add downcast to CF#213

Code

Closed

AndrewShf wants to merge 15 commits intoopprop:masteropprop/checker-framework:masterfrom AndrewShf:add_down_incomparable_castsAndrewShf/checker-framework:add_down_incomparable_castsCopy head branch name to clipboard

+242-70

Commits

Commits on Jun 14, 2022

• add downcast to cf

  AndrewShf

  committed
  0b4910b

  Copy full SHA for 0b4910b

Commits on Jun 15, 2022

• add downcast to cf

  AndrewShf

  committed
  f765a98

  Copy full SHA for f765a98

Commits on Jun 17, 2022

• add downcast/incomparable cast to cf

  AndrewShf

  committed
  5fbe6e2

  Copy full SHA for 5fbe6e2

Commits on Jun 18, 2022

• use getEffectiveAnnotation

  AndrewShf

  committed
  3e7383b

  Copy full SHA for 3e7383b

• check the java type down cast

  AndrewShf

  committed
  2febfb9

  Copy full SHA for 2febfb9

Commits on Jun 19, 2022

• revert typo fix, fix in another pr

  AndrewShf

  committed
  67a2ed2

  Copy full SHA for 67a2ed2

Commits on Jun 22, 2022

• add incomparable cast message key

  AndrewShf

  committed
  b52fb43

  Copy full SHA for b52fb43

Commits on Jun 23, 2022

• replace some warnings with incompatible cast errors

  AndrewShf

  committed
  9de934d

  Copy full SHA for 9de934d

Commits on Jun 25, 2022

• refined the approach when casting T to T

  AndrewShf

  committed
  78ecdeb

  Copy full SHA for 78ecdeb

• suppress some warnings

  AndrewShf

  committed
  87d3d74

  Copy full SHA for 87d3d74

Commits on Jun 26, 2022

• refine the logic to cast from T to T

  AndrewShf

  committed
  53a732d

  Copy full SHA for 53a732d

• add method documentation

  AndrewShf

  committed
  d31ef8f

  Copy full SHA for d31ef8f

Commits on Aug 8, 2022

• remove useless for loop

  AndrewShf

  committed
  0e2fac3

  Copy full SHA for 0e2fac3

Commits on Sep 12, 2022

• Merge remote-tracking branch 'opprop/master' into add_down_incomparable_casts

  AndrewShf

  committed
  cda3b63

  Copy full SHA for cda3b63

• update mustcallvisitor, signedness visitor

  AndrewShf

  committed
  3aad902

  Copy full SHA for 3aad902