org.checkerframework.checker.index.qual
public @Interface PolyLength
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @PolymorphicQualifier:UpperBoundUnknown
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.PolymorphicQualifier
Syntactic sugar for both @PolyValue and @PolySameLen.
- See Also
org.checkerframework.common.value.qual.PolyValue, PolySameLen
