Annotation Type UnknownMethod
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @TargetLocations(ALL) @InvisibleQualifier @SubtypeOf({}) @DefaultQualifierInHierarchy public @interface UnknownMethod
Represents aMethod
orConstructor
expression whose run-time value is not known at compile time. Also represents non-Method, non-Constructor values.This annotation is the default in the hierarchy.
- See the Checker Framework Manual:
- MethodVal Checker