org.checkerframework.checker.fenum.qual

public @Interface Fenum

Annotations

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

Imports

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

A generic fake enumeration qualifier that is parameterized by a name. It is written in source code as, for example, @Fenum("cardSuit") and @Fenum("faceValue"), which would be distinct fake enumerations.

Method Summary

Modifier and Type	Method and Description
public String	value()

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

Method Detail

value	back to summary
public String value()