checker/tests/signature/ClassGetNameBinaryName.java

import org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName;
import org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers;
import org.checkerframework.checker.signature.qual.PrimitiveType;

public class ClassGetNameBinaryName {

  static class Nested {}

  class Inner {}

  class TestGetName {

    @DotSeparatedIdentifiers String s1 = ClassGetNameBinaryName.class.getName();

    @DotSeparatedIdentifiers String s2a = Integer.class.getName();

    @DotSeparatedIdentifiers String s2b = java.lang.Integer.class.getName();

    @DotSeparatedIdentifiers String s4a = Boolean.class.getName();

    // :: error: (assignment)
    @PrimitiveType String s4b = Boolean.class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s12 = Nested.class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s13 = Inner.class.getName();

    /// Primitive types

    @PrimitiveType String prim1 = int.class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String prim2 = int.class.getName();

    @PrimitiveType String prim3 = boolean.class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String prim4 = boolean.class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String prim5 = void.class.getName();

    // :: error: (assignment)
    @PrimitiveType String prim6 = void.class.getName();

    /// Arrays

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s6 = int[].class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s7 = int[][].class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s8 = boolean[].class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s9 = Integer[].class.getName();

    // :: error: (assignment)
    @DotSeparatedIdentifiers String s10 = Boolean[].class.getName();
  }

  class TestGetCanonicalName {

    @CanonicalNameAndBinaryName String s1 = ClassGetNameBinaryName.class.getCanonicalName();

    @CanonicalNameAndBinaryName String s2a = Integer.class.getCanonicalName();

    @CanonicalNameAndBinaryName String s2b = java.lang.Integer.class.getCanonicalName();

    @CanonicalNameAndBinaryName String s4a = Boolean.class.getCanonicalName();

    // :: error: (assignment)
    @PrimitiveType String s4b = Boolean.class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s12 = Nested.class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s13 = Inner.class.getName();

    /// Primitive types

    @PrimitiveType String prim1 = int.class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String prim2 = int.class.getCanonicalName();

    @PrimitiveType String prim3 = boolean.class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String prim4 = boolean.class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String prim5 = void.class.getCanonicalName();

    // :: error: (assignment)
    @PrimitiveType String prim6 = void.class.getCanonicalName();

    /// Arrays

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s6 = int[].class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s7 = int[][].class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s8 = boolean[].class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s9 = Integer[].class.getCanonicalName();

    // :: error: (assignment)
    @CanonicalNameAndBinaryName String s10 = Boolean[].class.getCanonicalName();
  }
}