org.checkerframework.framework.util.typeinference

Class GlbUtil

java.lang.Object

org.checkerframework.framework.util.typeinference.GlbUtil

public class GlbUtil
extends java.lang.Object

A class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors.

Constructor Summary

Constructors

Constructor and Description
GlbUtil()

Method Summary

Modifier and Type	Method and Description
static AnnotatedTypeMirror	glbAll(java.util.Map<AnnotatedTypeMirror,AnnotationMirrorSet> typeMirrors, AnnotatedTypeFactory typeFactory) Note: This method can be improved for wildcards and type variables.
static void	sortForGlb(java.util.List<? extends AnnotatedTypeMirror> typeMirrors, AnnotatedTypeFactory typeFactory) Sort the list of type mirrors, placing supertypes first and subtypes last.

Methods inherited from class java.lang.Object

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

Constructor Detail

GlbUtil

public GlbUtil()

Method Detail

glbAll

public static AnnotatedTypeMirror glbAll(java.util.Map<AnnotatedTypeMirror,AnnotationMirrorSet> typeMirrors,
                                         AnnotatedTypeFactory typeFactory)

Note: This method can be improved for wildcards and type variables.

Returns:

the greatest lower bound of typeMirrors. If any of the type mirrors are incomparable, use an AnnotatedNullType that will contain the greatest lower bounds of the primary annotations of typeMirrors.

sortForGlb

public static void sortForGlb(java.util.List<? extends AnnotatedTypeMirror> typeMirrors,
                              AnnotatedTypeFactory typeFactory)

Sort the list of type mirrors, placing supertypes first and subtypes last.

E.g. the list: ArrayList<String>, List<String>, AbstractList<String> becomes: List<String>, AbstractList<String>, ArrayList<String>