@PreconditionAnnotation(qualifier=org.checkerframework.checker.calledmethods.qual.CalledMethods.class) @Target(value={METHOD,CONSTRUCTOR}) public @interface RequiresCalledMethods
java.lang.String[]
methods
value
public abstract java.lang.String[] value
EnsuresQualifier
@QualifierArgument(value="value") public abstract java.lang.String[] methods