org.checkerframework.checker.units

Class UnitsAnnotationClassLoader

java.lang.Object

org.checkerframework.framework.type.AnnotationClassLoader

org.checkerframework.checker.units.UnitsAnnotationClassLoader

public class UnitsAnnotationClassLoader
extends AnnotationClassLoader

Field Summary

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

processingEnv

Constructor Summary

Constructors

Constructor and Description
UnitsAnnotationClassLoader(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
protected boolean	isSupportedAnnotationClass(java.lang.Class<? extends java.lang.annotation.Annotation> annoClass) Custom filter for units annotations:

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

getLoadedAnnotationClasses, loadExternalAnnotationClass, loadExternalAnnotationClassesFromDirectory

Methods inherited from class java.lang.Object

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

Constructor Detail

UnitsAnnotationClassLoader

public UnitsAnnotationClassLoader(BaseTypeChecker checker)

Method Detail

isSupportedAnnotationClass

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

Custom filter for units annotations:

This filter will ignore (by returning false) any units annotation which is an alias of another base unit annotation (identified via UnitsMultiple meta-annotation). Alias annotations can still be used in source code; they are converted into a base annotation by UnitsAnnotatedTypeFactory.aliasedAnnotation(AnnotationMirror). This filter simply makes sure that the alias annotations themselves don't become part of the type hierarchy as their base annotations already are in the hierarchy.

Overrides:

isSupportedAnnotationClass in class AnnotationClassLoader

Parameters:

annoClass - an annotation class

Returns:

true if the annotation is supported, false if it isn't