framework/tests/methodval/MethodNameTest.java

import org.checkerframework.common.reflection.qual.MethodVal;

public class MethodNameTest {
  @MethodVal(className = "", methodName = "_MethodName", params = 0) Object o;

  @MethodVal(className = "", methodName = "$methname", params = 0) Object o1;

  @MethodVal(className = "", methodName = "Method_Name", params = 0) Object o2;

  @MethodVal(className = "", methodName = "<init>", params = 0) Object o3;

  // :: error: (illegal.methodname)
  @MethodVal(className = "", methodName = "[]MethodName", params = 0) Object o4;
  // :: error: (illegal.methodname)
  @MethodVal(className = "", methodName = "Meht.name", params = 0) Object o5;
  // :: error: (illegal.methodname)
  @MethodVal(className = "", methodName = ".emethos", params = 0) Object o6;

  @MethodVal(
      className = "c",
      methodName = "m",
      params = {0, 0})
  // :: error: (invalid.methodval)
  Object o7;

  @MethodVal(
      className = "c",
      methodName = {"m", "m"},
      params = {0, 0})
  // :: error: (invalid.methodval)
  Object o8;

  @MethodVal(
      className = "c",
      methodName = {"m", "m"},
      params = {0})
  // :: error: (invalid.methodval)
  Object o9;
}