Top Description Methods
org.checkerframework.common.value.qual

public @Interface UnknownVal

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_PARAMETER, TYPE_USE
@SubtypeOf
@DefaultQualifierInHierarchy
@InvisibleQualifier
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .InvisibleQualifier, .SubtypeOf

UnknownVal is a type annotation indicating that the expression's value is not known at compile type.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString