Package org.checkerframework.common.subtyping

Class SubtypingAnnotationClassLoader

java.lang.Object

org.checkerframework.framework.type.AnnotationClassLoader

org.checkerframework.common.subtyping.SubtypingAnnotationClassLoader

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

public class SubtypingAnnotationClassLoader
extends AnnotationClassLoader

Field Summary

Fields inherited from class org.checkerframework.framework.type.AnnotationClassLoader

checker, classLoader, processingEnv

Constructor Summary

Constructors

Constructor	Description
SubtypingAnnotationClassLoader(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method	Description
protected boolean	hasWellDefinedTargetMetaAnnotation(java.lang.Class<? extends java.lang.annotation.Annotation> annoClass)	Checks to see whether a particular annotation class has the Target meta-annotation, and has the required ElementType values.

Methods inherited from class org.checkerframework.framework.type.AnnotationClassLoader

close, getBundledAnnotationClasses, isSupportedAnnotationClass, loadAnnotationClass, loadAnnotationClasses, loadExternalAnnotationClass, loadExternalAnnotationClassesFromDirectory, printPaths

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SubtypingAnnotationClassLoader

public SubtypingAnnotationClassLoader(BaseTypeChecker checker)

Method Detail

hasWellDefinedTargetMetaAnnotation

protected boolean hasWellDefinedTargetMetaAnnotation(java.lang.Class<? extends java.lang.annotation.Annotation> annoClass)

Description copied from class: AnnotationClassLoader

Checks to see whether a particular annotation class has the Target meta-annotation, and has the required ElementType values.

A subclass may override this method to load annotations that are not intended to be annotated in source code. E.g.: SubtypingChecker overrides this method to load Unqualified.

Overrides:

hasWellDefinedTargetMetaAnnotation in class AnnotationClassLoader

Parameters:

annoClass - an annotation class

Returns:

true if the annotation is well defined, false if it isn't