import org.checkerframework.checker.initialization.qual.*; | |
import org.checkerframework.checker.nullness.qual.*; | |
public class Uninit8 { | |
Object f; | |
Uninit8() { | |
setFields(); | |
f.toString(); | |
} | |
@EnsuresNonNull("f") | |
void setFields(@UnknownInitialization Uninit8 this) { | |
f = new Object(); | |
} | |
} |