checkers.quals.StubFiles Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of checker-quals-jdk5 Show documentation

Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications

There is a newer version: 1.7.5

package checkers.quals;

import java.lang.annotation.*;

/**
 * An annotation on a SourceChecker subclass to provide additional
 * stub files that should be used in addition to jdk.astub.
 * This allows larger compound checkers to separate the annotations
 * into multiple files.
 */
@Documented
@Inherited
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.TYPE)
public @interface StubFiles {
    // Stub file names.
    String[] value();
}