All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

The newest version!
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(); }





© 2015 - 2024 Weber Informatics LLC | Privacy Policy