package org.checkerframework.common.reflection.qual; import java.lang.annotation.Documented; import java.lang.annotation.ElementType; import java.lang.annotation.Retention; import java.lang.annotation.RetentionPolicy; import java.lang.annotation.Target; /** * Annotation for methods of the form: <br> * {@code Object method({@link MethodVal}(classname=c, methodname=m, params=p) Method this, Object * obj, Object... args)} */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target({ElementType.METHOD}) public @interface Invoke {}