org.checkerframework.framework.flow

Class CFAbstractValue.AnnotationSetAndTypeMirrorVisitor

java.lang.Object

org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetAndTypeMirrorVisitor

Enclosing class:

CFAbstractValue<V extends CFAbstractValue<V>>

protected abstract class CFAbstractValue.AnnotationSetAndTypeMirrorVisitor
extends Object

Iterates through two sets of AnnotationMirrors by hierarchy and calls one of three methods depending on whether an annotation exists for the hierarchy in each set. Also, passes a AnnotatedTypeMirror.AnnotatedTypeVariable if an annotation does not exist.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AnnotationSetAndTypeMirrorVisitor(TypeMirror result, TypeMirror aTypeMirror, TypeMirror bTypeMirror, Set<AnnotationMirror> aSet, Set<AnnotationMirror> bSet)

Method Summary

Modifier and Type	Method and Description
protected abstract void	visitAnnotationExistInBothSets(AnnotationMirror a, AnnotationMirror b, AnnotationMirror top)
protected abstract void	visitAnnotationExistInOneSet(AnnotationMirror anno, AnnotatedTypeMirror.AnnotatedTypeVariable atv, AnnotationMirror top)
protected abstract void	visitNeitherAnnotationExistsInBothSets(AnnotatedTypeMirror.AnnotatedTypeVariable aAtv, AnnotatedTypeMirror.AnnotatedTypeVariable bAtv, AnnotationMirror top)

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotationSetAndTypeMirrorVisitor

protected AnnotationSetAndTypeMirrorVisitor(TypeMirror result,
                                            TypeMirror aTypeMirror,
                                            TypeMirror bTypeMirror,
                                            Set<AnnotationMirror> aSet,
                                            Set<AnnotationMirror> bSet)

Method Detail

visitAnnotationExistInBothSets

protected abstract void visitAnnotationExistInBothSets(AnnotationMirror a,
                                                       AnnotationMirror b,
                                                       AnnotationMirror top)

visitNeitherAnnotationExistsInBothSets

protected abstract void visitNeitherAnnotationExistsInBothSets(AnnotatedTypeMirror.AnnotatedTypeVariable aAtv,
                                                               AnnotatedTypeMirror.AnnotatedTypeVariable bAtv,
                                                               AnnotationMirror top)

visitAnnotationExistInOneSet

protected abstract void visitAnnotationExistInOneSet(AnnotationMirror anno,
                                                     AnnotatedTypeMirror.AnnotatedTypeVariable atv,
                                                     AnnotationMirror top)