checkers.fenum.quals
Annotation Type FenumBottom

@Documented
@Retention(value=RUNTIME)
@Target(value={})
@TypeQualifier
@SubtypeOf(value={Fenum.class,FenumUnqualified.class})
public @interface FenumBottom

The Any modifier expresses no static ownership information, the referenced object can have any owner.

Author:

wmdietl