org.checkerframework.checker.index.qual
public @Interface SameLenUnknown
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @SubtypeOf
- @DefaultQualifierInHierarchy
- @InvisibleQualifier
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .InvisibleQualifier, .SubtypeOf
This type represents any variable that isn't known to have the same length as another sequence.
This is the top type of the Same Length type system. Programmers should not need to write this
type.
