Package org.checkerframework.checker.testchecker.disbaruse.qual

Annotation Interface DisbarUse

@Target({METHOD,CONSTRUCTOR,FIELD,PARAMETER})
public @interface DisbarUse

The Disbar Use Checker issues a warning when an expression of this type is used.