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

org.checkerframework.framework.qual.DefaultFor Maven / Gradle / Ivy

There is a newer version: 4.1.3
Show newest version
package org.checkerframework.framework.qual;

import java.lang.annotation.Documented;
import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

/**
 * Applied to the declaration of a type qualifier specifies that the given annotation should be the
 * default for a particular location.
 *
 * 

TODO: Document use relative to the other annotations. This qualifier is for type system * developers, not end-users. * * @see TypeUseLocation * @see DefaultQualifier * @see DefaultQualifierInHierarchy * @see ImplicitFor */ @Documented @Retention(RetentionPolicy.RUNTIME) @Target(ElementType.ANNOTATION_TYPE) public @interface DefaultFor { /** @return the locations to which the annotation should be applied */ TypeUseLocation[] value(); }





© 2015 - 2024 Weber Informatics LLC | Privacy Policy