org.checkerframework.checker.objectconstruction.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.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String[]	value

Element Detail

value

public abstract java.lang.String[] value

Returns:

the methods guaranteed to be invoked on the varargs parameters