checker/tests/nullness/JavaCopRandomTests.java

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

public class JavaCopRandomTests {
  final int a;
  final int b = 1;
  final int c;

  JavaCopRandomTests() {
    String s = null;
    a = 2;
  }

  JavaCopRandomTests(String s) throws Exception {
    // this();
    a = 2;
    if (a > 1) {
      throw new Exception("dude");
    }
    throw new RuntimeException("dude");
  }

  // initializer block
  {
    c = 4;
    // throw new Exception("dude");
  }
}