Annotation Interface MethodVal
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(UnknownMethod.class)
public @interface MethodVal
This represents a set of
Method
or Constructor
values. If an expression's type has
@MethodVal
, then the expression's run-time value is one of those values.
Each of @MethodVal
's argument lists must be of equal length, and { className[i],
methodName[i], params[i] } represents one of the Method
or Constructor
values in
the set.
- See the Checker Framework Manual:
- MethodVal Checker
-
Required Element Summary
Modifier and TypeRequired ElementDescriptionString[]
The binary name of the class that declares this method.String[]
The name of the method that this Method object represents.int[]
The number of parameters to the method.
-
Element Details
-
className
String[] classNameThe binary name of the class that declares this method. -
methodName
String[] methodNameThe name of the method that this Method object represents. Use<init>
for constructors. -
params
int[] paramsThe number of parameters to the method.
-