Class CFAbstractValue.ValueLub

java.lang.Object
CFAbstractValue<V>.AnnotationSetCombiner
org.checkerframework.framework.flow.CFAbstractValue.ValueLub
Enclosing class:
CFAbstractValue<V extends CFAbstractValue<V>>

protected class CFAbstractValue.ValueLub extends CFAbstractValue<V>.AnnotationSetCombiner
Computes the least upper bound or, if shouldWiden is true, an upper bounds of two sets of annotations. The computation accounts for sets that are missing annotations in hierarchies.