Package org.checkerframework.checker.calledmethods.qual

Annotation Interface 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
    String[]
    value
    Returns the methods guaranteed to be invoked on the varargs parameters.

  • Element Details

    • value

      String[] value
      Returns the methods guaranteed to be invoked on the varargs parameters.
      Returns:
      the methods guaranteed to be invoked on the varargs parameters