org.checkerframework.checker.index.qual

public @Interface SameLen

Annotations

@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:SameLenUnknown

Imports

java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.JavaExpression, .SubtypeOf

An expression whose type has this annotation evaluates to a value that is a sequence, and that sequence has the same length as the given sequences. For example, if b's type is annotated with @SameLen("a"), then a and b have the same length.

Method Summary

Modifier and Type	Method and Description
public String[]	value() A list of other sequences with the same length.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public String[] value() A list of other sequences with the same length. Annotations @JavaExpression

value

back to summary

public String[] value()

A list of other sequences with the same length.

Annotations

@JavaExpression