public annotation interface  org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract java.lang.String[] value();
public abstract java.lang.String[] methods();
}