哪些javac前置错误会导致Checker Framework检查器无法对类执行检查

你遇到的type.checking.not.run报错核心原因是javac编译阶段先抛出了错误，阻断了Checker Framework检查器的后续执行，你当前看到的是检查器的二次报错，而非原始根因，可以通过以下方式获取更详细的错误信息：

• 开启Gradle调试日志：执行编译命令时追加--debug参数，完整输出全链路编译日志，javac抛出的原始错误会出现在检查器报错的前序日志中，常见根因为JDK版本与Checker Framework版本不兼容、注解依赖缺失、语法不兼容等问题。
• 单独验证原生编译逻辑：临时注释build.gradle中Checker Framework的相关配置，执行gradle compileJava命令，确认项目本身编译是否存在隐性错误或未处理的警告，若项目开启了-Werror配置，javac的普通警告也会被判定为错误，阻断后续检查器执行。
• 开启检查器详细日志输出：在checkerFramework配置块中添加额外javac参数，输出检查器执行的全链路信息：

  checkerFramework {
      checkers = [
          'org.checkerframework.checker.nullness.NullnessChecker',
          'org.checkerframework.checker.tainting.TaintingChecker'
      ]
      extraJavacArgs = ['-AprintErrorStack', '-AshowSuppressWarningKeys', '-verbose']
  }
  

• 修复配置错误：你当前的build.gradle存在重复加载插件的问题，plugins块中已经声明了Checker Framework插件，无需额外添加apply plugin: 'org.checkerframework'代码，重复加载会导致编译任务执行冲突，删除该行后再运行检查可排除配置层面的干扰。

内容的提问来源于stack exchange，提问作者isakbob