org.checkerframework.checker.objectconstruction.qual

Annotation Type RequiresCalledMethods

@PreconditionAnnotation(qualifier=org.checkerframework.checker.calledmethods.qual.CalledMethods.class)
 @Target(value={METHOD,CONSTRUCTOR})
public @interface RequiresCalledMethods

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String[]	methods The methods guaranteed to be invoked on the expressions.
java.lang.String[]	value The Java expressions to which the qualifier applies.

Element Detail

value

public abstract java.lang.String[] value

The Java expressions to which the qualifier applies.

Returns:

the Java expressions to which the qualifier applies

See Also:

EnsuresQualifier

methods

@QualifierArgument(value="value")
public abstract java.lang.String[] methods

The methods guaranteed to be invoked on the expressions.

Returns:

the methods guaranteed to be invoked on the expressions