Constructors.java

import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.nullness.qual.*;

//@skip-test -- should be fixed, but is a bit tricky to implement, so defer for now.
// See https://github.com/typetools/checker-framework/issues/223
class Constructors {

    static void requireInitialized(Object o) {}

    static class Box {
        Object f;

        Box(Object arg) {
            this.f = arg;
        }
    }

    public Constructors() {

        //:: error: (argument.type.incompatible)
        Box b1 = new Box(this);
        Box b2 = new Box("hello");
        requireInitialized(b2);
    }

    public class Options {

        class OptionInfo {
            Date d;
            @UnknownInitialization @Raw Object obj;

            OptionInfo(Date d, @UnknownInitialization @Raw Object obj) {
                this.d = d;
                this.obj = obj;
            }
        }

        public Options(Date d, @UnknownInitialization @Raw Object obj) {
            OptionInfo oi = new OptionInfo(d, obj);
            // oi should be considered initialized at this point, because
            // the argument type of the constructor was @UnknownInitialization.
            requireInitialized(oi);
        }
    }
}

/* Local Variables: */
/* compile-command: "javac -processor org.checkerframework.checker.nullness.NullnessChecker -Xbootclasspath/p:$CHECKERFRAMEWORK/checker/dist/jdk7.jar Constructors.java" */
/* compile-history: ("javac -processor org.checkerframework.checker.nullness.NullnessChecker -Xbootclasspath/p:$CHECKERFRAMEWORK/checker/dist/jdk7.jar Constructors.java") */
/* End: */