Top Description Methods
org.checkerframework.checker.calledmethods.qual

public @Interface CalledMethodsBottom

extends Annotation
Annotations
@SubtypeOf:CalledMethods, CalledMethodsPredicate
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
Imports
java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf, .TargetLocations, .TypeUseLocation
The bottom type for the Called Methods type system.

It should rarely be written by a programmer.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString