// This is a test case for issue #105: | |
// https://github.com/typetools/checker-framework/issues/105 | |
import org.checkerframework.checker.nullness.qual.*; | |
public class Uninit12 { | |
// :: error: (initialization.static.field.uninitialized) | |
static Object f; | |
public Uninit12() { | |
f.toString(); | |
} | |
static Object g = new Object(); | |
static Object h; | |
static { | |
h = new Object(); | |
} | |
} | |
class Uninit12_OK { | |
static Object g = new Object(); | |
static Object h; | |
static { | |
h = new Object(); | |
} | |
} |