org.checkerframework.common.subtyping

Class SubtypingAnnotationClassLoader

java.lang.Object

org.checkerframework.framework.type.AnnotationClassLoader

org.checkerframework.common.subtyping.SubtypingAnnotationClassLoader

public class SubtypingAnnotationClassLoader
extends AnnotationClassLoader

Field Summary

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

classLoader, processingEnv

Constructor Summary

Constructors

Constructor and Description
SubtypingAnnotationClassLoader(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
protected boolean	hasWellDefinedTargetMetaAnnotation(Class<? extends 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

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(Class<? extends 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