checker framework: Supress Warnings in default constructor

Question

I have two constructors: normal ctor which initialises the object properly and a second default ctor for Hibernate which generates initialize fields warnings. What's the preferred way to get rid of the warnings?

package test;

public class Example {
    String x;

    public Example(String x) {
        this.x = x;
    }

    Example() {
        // Ctor for Hibernate, warnings generated here.
    }
}

Answer 1

You didn't mention looking in the documentation, so I'm not sure whether you have done so. The Checker Framework manual contains a chapter titled "Suppressing warnings", which might contain all the information you need.

The most common approach is to write a @SuppressingWarnings annotation, which is the standard way to suppress warnings from the Java compiler.

You should write it on the smallest program element possible (such as a local variable declaration rather than the whole constructor or class), and you should supply the most specific key possible. The reason is to avoid accidentally suppressing more warnings than you intended.