Code

Adding notcheckdeadcode option#633

Code

Open

Ao-senXiong wants to merge 14 commits intoeisop:mastereisop/checker-framework:masterfrom Ao-senXiong:add-not-check-dead-code-optionAo-senXiong/checker-framework:add-not-check-dead-code-optionCopy head branch name to clipboard

+103-21

Commits

Commits on Nov 25, 2023

• initial commit for adding notcheckdeadcode option

  Ao-senXiong

  committed
  7102456

• Merge branch 'master' into add-not-check-dead-code-option

  Ao-senXiong

  authored
  bd2e5e7

• change option name to ignoreCheckDeadCode

  Ao-senXiong

  committed
  58f4773

• add comment for entry point of the option

  Ao-senXiong

  committed
  1d1c348

• add protect variable of checker option

  Ao-senXiong

  committed
  2540cd3

• add * make javadoc happy

  Ao-senXiong

  committed
  02c69a8

• Merge branch 'master' into add-not-check-dead-code-option

  Ao-senXiong

  authored
  a3e4013

Commits on Nov 28, 2023

• add deadbranch test case and skip the test first

  Ao-senXiong

  committed
  73de62f

Commits on Dec 17, 2024

• Merge branch 'master' into add-not-check-dead-code-option

  Ao-senXiong

  authored
  30638eb

• Address all comments

  Ao-senXiong

  committed
  6392013

• Rename Junit test file

  Ao-senXiong

  committed
  decd355

• Use getter and revert access modifier for root

  Ao-senXiong

  committed
  f7b1bb5

• Comment first...

  Ao-senXiong

  committed
  a93748b

• Javadoc

  Ao-senXiong

  committed
  1576672