Package org.checkerframework.common.subtyping

Class SubtypingAnnotationClassLoader

java.lang.Object

org.checkerframework.framework.type.AnnotationClassLoader

org.checkerframework.common.subtyping.SubtypingAnnotationClassLoader

All Implemented Interfaces:

Closeable, 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

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

SubtypingAnnotationClassLoader

public SubtypingAnnotationClassLoader(BaseTypeChecker checker)