public annotation interface  org.checkerframework.common.value.qual.EnsuresMinLenIf extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract java.lang.String[] expression();
public abstract boolean result();
public abstract int targetValue();
}