checker/tests/nullness/StaticInitializer.java

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

public class StaticInitializer {

  public static String a;
  // :: error: (initialization.static.field.uninitialized)
  public static String b;

  static {
    a = "";
  }

  public StaticInitializer() {}
}

class StaticInitializer2 {
  // :: error: (initialization.static.field.uninitialized)
  public static String a;
  // :: error: (initialization.static.field.uninitialized)
  public static String b;
}

class StaticInitializer3 {
  public static String a = "";
}

class StaticInitializer4 {
  public static String a = "";
  public static String b;

  static {
    b = "";
  }
}

class StaticInitializer5 {
  public static String a = "";

  static {
    a.toString();
  }

  public static String b = "";
}

class StaticInitializer6 {
  public static String a = "";

  public static String b;

  static {
    // TODO error expected. See #556.
    b.toString();
  }

  static {
    b = "";
  }
}