Annotation Interface PolyIteratorPolyMod
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(MaybeIteratorPolyMod.class)
public @interface PolyIteratorPolyMod
A polymorphic qualifier for the Iterator hierarchy.
When used on a method, whether the return type has @IteratorPolyMod matches whether
the argument or receiver annotated with @PolyIteratorPolyMod has
@IteratorPolyMod.
- See the Checker Framework Manual:
- Modifiability Checker, Qualifier polymorphism