org.checkerframework.common.value.qual

public @Interface StringVal

Annotations

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

Imports

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

An annotation indicating the possible values for a String type. If an expression's type has this annotation, then at run time, the expression evaluates to one of the annotation's arguments.

Method Summary

Modifier and Type	Method and Description
public String[]	value() The values that the expression might evaluate to.

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

Method Detail

value	back to summary
public String[] value() The values that the expression might evaluate to.