Top Description Methods
org.checkerframework.common.reflection.qual

public @Interface MethodVal

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:UnknownMethod
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf
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.

Method Summary

Modifier and TypeMethod and Description
public String[]
className()

The binary name of the class that declares this method.

public String[]
methodName()

The name of the method that this Method object represents.

public int[]
params()

The number of parameters to the method.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

classNameback to summary
public String[] className()

The binary name of the class that declares this method.

methodNameback to summary
public String[] methodName()

The name of the method that this Method object represents. Use <init> for constructors.

paramsback to summary
public int[] params()

The number of parameters to the method.