SpotBugs.exclude.xml

<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt

SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

<FindBugsFilter>
    <!-- Exceptions from constructors are not really a problem,
         e.g., we inject configuration options and want to fail fast. -->
    <Match><Bug pattern="CT_CONSTRUCTOR_THROW"/></Match>
    <!-- These checks are too pessimistic: https://github.com/spotbugs/spotbugs/issues/1601 -->
    <Match><Bug pattern="EI_EXPOSE_REP"/></Match>
    <Match><Bug pattern="EI_EXPOSE_REP2"/></Match>
    <!-- SpotBugs does not support @org.checkerframework.checker.nullness.qual.Nullable
         (cf. https://github.com/spotbugs/spotbugs/issues/643) -->
    <Match><Bug code="NP,RCN"/></Match>
    <Match><And>
        <!-- PackageSanityTest wants @Nullable on equals(Object) parameter,
             SpotBugs does not. -->
        <Bug pattern="NP_METHOD_PARAMETER_TIGHTENS_ANNOTATION"/>
        <Method name="equals" returns="boolean" params="java.lang.Object"/>
    </And></Match>
    <!-- Error-prone checks this, too, and SpotBugs does not know @CanIgnoreReturnValue. -->
    <Match><Bug pattern="RV_RETURN_VALUE_IGNORED"/></Match>
    <!-- Exclude AutoValue classes -->
    <Match><Class name="~.*\.AutoValue_.*"/></Match>
</FindBugsFilter>