Maven项目中能否按目录排除Nullness checker对生成代码的警告？

由于生成类和现有代码包结构、类名一致，无法通过-skipDefs按类全限定名排除，你可以使用Checker Framework原生支持的-exclude参数，通过源文件路径模式来排除指定目录下的生成代码，具体配置如下：

• 在Maven的maven-compiler-plugin配置中，新增-exclude编译器参数，指定生成代码所在的目录通配符路径：

<plugin>
    <groupId>org.apache.maven.plugins</groupId>
    <artifactId>maven-compiler-plugin</artifactId>
    <version><!-- 使用你项目中当前的插件版本 --></version>
    <configuration>
        <source><!-- 你的Java版本 --></source>
        <target><!-- 你的Java版本 --></target>
        <annotationProcessors>
            <annotationProcessor>org.checkerframework.checker.nullness.NullnessChecker</annotationProcessor>
        </annotationProcessors>
        <compilerArgs>
            <arg>-processorpath</arg>
            <arg>${checkerframework.path}</arg>
            <!-- 排除target/generated-sources下所有子目录的Java文件 -->
            <arg>-exclude</arg>
            <arg>target/generated-sources/**/*.java</arg>
            <!-- 若有多个生成目录，可重复添加-exclude参数 -->
            <!-- <arg>-exclude</arg> -->
            <!-- <arg>target/other-generated-sources/**/*.java</arg> -->
        </compilerArgs>
    </configuration>
</plugin>

• 关键说明：
  • -exclude参数支持标准通配符匹配（**表示任意多层子目录，*表示任意文件名），会直接根据源文件的物理路径判断是否跳过检查，完全不受类名、包名重复的影响。
  • 确保你的Checker Framework版本在3.0及以上（该参数在较新版本中稳定支持），若版本过旧建议升级对应依赖。

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