org.checkerframework.checker.calledmethods.qual

Annotation Type EnsuresCalledMethodsVarArgs

@Target(value={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 and Description
String[]	value Returns the methods guaranteed to be invoked on the varargs parameters.

Element Detail

value

public abstract String[] value

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

Returns:

the methods guaranteed to be invoked on the varargs parameters