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

public @Interface GetClass

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
Annotation for methods like Object.getClassName. Their signature is:
@ClassBound("ReceiverType") Class method(ReceiverType this) {...}

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString