Package org.checkerframework.framework.flow

Class CFAbstractValue.ValueGlb

java.lang.Object

CFAbstractValue<V>.org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner

org.checkerframework.framework.flow.CFAbstractValue.ValueGlb

Enclosing class:

CFAbstractValue<V extends CFAbstractValue<V>>

protected class CFAbstractValue.ValueGlb
extends CFAbstractValue<V>.AnnotationSetCombiner

Computes the GLB of two sets of annotations. The computation accounts for sets that are missing annotations in hierarchies.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ValueGlb()

Method Summary

Modifier and Type	Method	Description
protected @Nullable AnnotationMirror	combineAnnotationWithTypeVar(AnnotationMirror annotation, AnnotatedTypeMirror.AnnotatedTypeVariable typeVar, AnnotationMirror top, boolean canCombinedSetBeMissingAnnos)	Returns the result of combining annotation with typeVar.
protected @Nullable AnnotationMirror	combineTwoAnnotations(AnnotationMirror a, TypeMirror aTypeMirror, AnnotationMirror b, TypeMirror bTypeMirror, AnnotationMirror top)	Returns the result of combining the two annotations.
protected @Nullable AnnotationMirror	combineTwoTypeVarsUsingExtendsBounds(AnnotatedTypeMirror.AnnotatedTypeVariable aAtv, AnnotatedTypeMirror.AnnotatedTypeVariable bAtv, AnnotationMirror top)	Returns the primary annotation that result from of combining the two AnnotatedTypeMirror.AnnotatedTypeVariable that do not have primary annotations.

Methods inherited from class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetCombiner

combineSets

Methods inherited from class java.lang.Object

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

Constructor Details

ValueGlb

protected ValueGlb()

Method Details

combineTwoAnnotations

protected @Nullable AnnotationMirror combineTwoAnnotations(AnnotationMirror a,
 TypeMirror aTypeMirror,
 AnnotationMirror b,
 TypeMirror bTypeMirror,
 AnnotationMirror top)

Description copied from class: CFAbstractValue.AnnotationSetCombiner

Returns the result of combining the two annotations. This method is called when an annotation exists in both sets for the hierarchy whose top is top.

Specified by:

combineTwoAnnotations in class CFAbstractValue<V extends CFAbstractValue<V>>.AnnotationSetCombiner

Parameters:

a - an annotation in the hierarchy

aTypeMirror - the type that is annotated by a

b - an annotation in the hierarchy

bTypeMirror - the type that is annotated by b

top - the top annotation in the hierarchy

Returns:

the result of combining the two annotations or null if no combination exists

combineTwoTypeVarsUsingExtendsBounds

protected @Nullable AnnotationMirror combineTwoTypeVarsUsingExtendsBounds(AnnotatedTypeMirror.AnnotatedTypeVariable aAtv,
 AnnotatedTypeMirror.AnnotatedTypeVariable bAtv,
 AnnotationMirror top)

Description copied from class: CFAbstractValue.AnnotationSetCombiner

Returns the primary annotation that result from of combining the two AnnotatedTypeMirror.AnnotatedTypeVariable that do not have primary annotations.

Specified by:

combineTwoTypeVarsUsingExtendsBounds in class CFAbstractValue<V extends CFAbstractValue<V>>.AnnotationSetCombiner

Parameters:

aAtv - a type variable that does not have a primary annotation in top hierarchy

bAtv - a type variable that does not have a primary annotation in top hierarchy

top - the top annotation in the hierarchy

Returns:

the result of combining the two type variables, which may be null

combineAnnotationWithTypeVar

protected @Nullable AnnotationMirror combineAnnotationWithTypeVar(AnnotationMirror annotation,
 AnnotatedTypeMirror.AnnotatedTypeVariable typeVar,
 AnnotationMirror top,
 boolean canCombinedSetBeMissingAnnos)

Description copied from class: CFAbstractValue.AnnotationSetCombiner

Returns the result of combining annotation with typeVar.

This is called when an annotation exists for the hierarchy in one set, but not the other.

Specified by:

combineAnnotationWithTypeVar in class CFAbstractValue<V extends CFAbstractValue<V>>.AnnotationSetCombiner

Parameters:

annotation - an annotation

typeVar - a type variable that does not have a primary annotation in the hierarchy

top - the top annotation of the hierarchy

canCombinedSetBeMissingAnnos - true if the combined set can be missing annotations

Returns:

the result of combining annotation with typeVar