Package org.checkerframework.checker.calledmethods.qual

Annotation Type EnsuresCalledMethodsVarArgs

@Target({METHOD,CONSTRUCTOR})
public @interface EnsuresCalledMethodsVarArgs

Indicates that the method, if it terminates successfully, always invokes the given methods on all of the arguments passed in the varargs position.

Consider the following method:

 @EnsuresCalledMethodsVarArgs("m")
 public void callMOnAll(S s, T t...) { ... }
 

This method guarantees that m() is always called on every T object passed in the t varargs argument before the method returns.

This annotation is not checked. An error will always be issued when it is used.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
java.lang.String[]	value	Returns the methods guaranteed to be invoked on the varargs parameters.

Element Detail

value

java.lang.String[] value

Returns the methods guaranteed to be invoked on the varargs parameters.

Returns:

the methods guaranteed to be invoked on the varargs parameters