checkers.quals.Unused Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jme3-core Show documentation
Show all versions of jme3-core Show documentation
jMonkeyEngine is a 3-D game engine for adventurous Java developers
package checkers.quals;
import java.lang.annotation.*;
import static java.lang.annotation.ElementType.FIELD;
/**
* Declares that the field may not be accessed if the receiver is of the
* specified qualifier type (or any supertype).
*
* This property is verified by the checker that type-checks the {@code
* when} element value qualifier.
*
* Example
* Consider a class, {@code Table}, with a locking field, {@code lock}. The
* lock is used when a {@code Table} instance is shared across threads. When
* running in a local thread, the {@code lock} field ought not to be used.
*
* You can declare this behavior in the following way:
*
*
* class Table {
* private @Unused(when=LocalToThread.class) final Lock lock;
* ...
* }
*
*
* The checker for {@code @LocalToThread} would issue an error for the following code:
*
* @LocalToThread Table table = ...;
* ... table.lock ...;
*
*
*/
@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target({FIELD})
public @interface Unused {
/**
* The field that is annotated with @Unused may not be accessed via a
* receiver that is annotated with the "when" annotation.
*
* @return the annotation class
*/
Class extends Annotation> when();
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy