public annotation interface  org.checkerframework.framework.qual.DefaultFor extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract org.checkerframework.framework.qual.TypeUseLocation[] value();
public abstract org.checkerframework.framework.qual.TypeKind[] typeKinds();
public abstract java.lang.Class[] types();
public abstract java.lang.String[] names();
public abstract java.lang.String[] namesExceptions();
}