org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of standalone-sisu-uber Show documentation

There is a newer version: 3.0.0-alpha-3

package org.checkerframework.checker.calledmethods.qual;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

/**
 * 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 {@code m()} is always called on every {@code T} object passed in
 * the {@code t} varargs argument before the method returns.
 *
 * This annotation is not checked. An error will always be issued when it is used.
 */
@Target({ElementType.METHOD, ElementType.CONSTRUCTOR})
public @interface EnsuresCalledMethodsVarArgs {

  /**
   * Returns the methods guaranteed to be invoked on the varargs parameters.
   *
   * @return the methods guaranteed to be invoked on the varargs parameters
   */
  String[] value();
}