org.checkerframework.checker.objectconstruction.qual

Annotation Type CalledMethodsTop

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @DefaultQualifierInHierarchy
 @SubtypeOf(value={})
public @interface CalledMethodsTop

The top qualifier in the Called Methods type hierarchy. It is equivalent to @CalledMethods({}).

It is needed so that @CalledMethodsPredicate can be a sibling of @CalledMethods.