org.checkerframework.framework.flow.util

Class LubTypeVariableAnnotator

java.lang.Object

org.checkerframework.framework.flow.util.LubTypeVariableAnnotator

public class LubTypeVariableAnnotator
extends Object

At the moment, this class is just a collection of special cases that fix the behavior of AnnotateAsLub Annotate as lub always uses a type variable's upper bound to annotate (when in fact the type variable unchanged is sometimes the lub). This class handles the cases where the lub type is a type variable and: a) the subtypes list contains only type variables In the case we should not be using only the upper bound, but choosing a set of bounds that serves as a LUB of all type variables. b) the subtypes lsit contains only type variables or NULL types In this case NULL should have been converted to a type by asSuper but was NOT. In this case, we make a copy of the lub type and apply the primary annotations of the NULL type as primary annotations on the copy. From there, we follow the logic in case a.

Constructor Summary

Constructors

Constructor and Description
LubTypeVariableAnnotator()

Method Summary

Modifier and Type	Method and Description
static void	annotateTypeVarAsLub(AnnotatedTypeMirror.AnnotatedTypeVariable lub, List<AnnotatedTypeMirror.AnnotatedTypeVariable> subtypes, AnnotatedTypeFactory typeFactory)
static List<AnnotatedTypeMirror.AnnotatedTypeVariable>	getSubtypesAsTypevars(AnnotatedTypeMirror.AnnotatedTypeVariable lub, List<? extends AnnotatedTypeMirror> subtypes) Traverses the subtypes lists, casts the typevars to AnnotatedTypeVariable and adds them to the returned list.

Methods inherited from class java.lang.Object

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

Constructor Detail

LubTypeVariableAnnotator

public LubTypeVariableAnnotator()

Method Detail

getSubtypesAsTypevars

public static List<AnnotatedTypeMirror.AnnotatedTypeVariable> getSubtypesAsTypevars(AnnotatedTypeMirror.AnnotatedTypeVariable lub,
                                                                                    List<? extends AnnotatedTypeMirror> subtypes)

Traverses the subtypes lists, casts the typevars to AnnotatedTypeVariable and adds them to the returned list. NULL types are converted to typevars by applying their primary annotations to a copy of lub. If any type is

annotateTypeVarAsLub

public static void annotateTypeVarAsLub(AnnotatedTypeMirror.AnnotatedTypeVariable lub,
                                        List<AnnotatedTypeMirror.AnnotatedTypeVariable> subtypes,
                                        AnnotatedTypeFactory typeFactory)