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; | |
/** | |
* A meta-annotation indicating that an annotation is a type qualifier that should not be visible in | |
* output. | |
*/ | |
@Documented | |
@Retention(RetentionPolicy.RUNTIME) | |
@Target(ElementType.ANNOTATION_TYPE) | |
public @interface InvisibleQualifier {} |