framework/tests/classval/ClassValInferenceTest.java

import java.util.ArrayList;
import java.util.List;
import org.checkerframework.common.reflection.qual.ClassBound;
import org.checkerframework.common.reflection.qual.ClassVal;

public class ClassValInferenceTest {

  class Inner {
    Inner() {
      @ClassBound("ClassValInferenceTest$Inner") Class<?> c1 = this.getClass();
      @ClassBound("ClassValInferenceTest") Class<?> c2 = ClassValInferenceTest.this.getClass();
    }
  }

  public void classLiterals() {
    @ClassVal("java.lang.Object") Class<?> c1 = Object.class;
    @ClassVal("java.lang.Object[]") Class<?> c2 = Object[].class;
    @ClassVal("java.lang.Object[][][]") Class<?> c3 = Object[][][].class;
    @ClassVal("ClassValInferenceTest$Inner") Class<?> c4 = Inner.class;
    @ClassVal("byte") Class<? extends Byte> c5 = byte.class;
  }

  public void classForName() throws ClassNotFoundException {
    @ClassVal("ClassValInferenceTest$Inner") Class<?> c = Class.forName("ClassValInferenceTest$Inner");
    @ClassVal("java.lang.Object") Class<?> c1 = Class.forName("java.lang.Object");
  }

  boolean flag = true;

  public void classForNameStringVal() throws ClassNotFoundException {
    Class<?> c2;
    if (flag) {
      c2 = Class.forName("java.lang.Byte");
    } else {
      c2 = Class.forName("java.lang.Integer");
    }
    @ClassVal({"java.lang.Byte", "java.lang.Integer"}) Class<?> c3 = c2;
  }

  public <T extends Number, I extends Number & List<String>> void testGetClass(
      T typeVar, I intersect) {
    @ClassBound("ClassValInferenceTest") Class<?> c1 = this.getClass();
    @ClassBound("ClassValInferenceTest") Class<?> c2 = getClass();
    String[] array = {"hello"};
    @ClassBound("java.lang.String[]") Class<?> c3 = array.getClass();
    String[][][][] arrayMulti = null;
    @ClassBound("java.lang.String[][][][]") Class<?> c4 = arrayMulti.getClass();
    @ClassBound("java.lang.String") Class<?> c5 = array[0].getClass();
    List<String> list = null;
    @ClassBound("java.util.List") Class<?> c6 = list.getClass();
    @ClassBound("java.lang.Number") Class<?> c7 = typeVar.getClass();
    @ClassBound("java.util.ArrayList") Class<?> c8 = new ArrayList<String>().getClass();
    List<? super Number> wildCardListLB = null;
    List<? extends Number> wildCardListUB = null;
    @ClassBound("java.lang.Object") Class<?> c9 = wildCardListLB.get(0).getClass();
    @ClassBound("java.lang.Number") Class<?> c10 = wildCardListUB.get(0).getClass();
    Integer i = 0;
    @ClassBound("java.lang.Integer") Class<?> c11 = i.getClass();
    @ClassBound("java.lang.Object") Class<?> c12 = intersect.getClass();

    try {
    } catch (NullPointerException | ArrayIndexOutOfBoundsException ex) {
      @ClassBound("java.lang.RuntimeException") Class<?> c = ex.getClass();
    }
  }
}