org.sonar.java.resolve

Class LeastUpperBound

java.lang.Object

org.sonar.java.resolve.LeastUpperBound

public class LeastUpperBound
extends Object

Constructor Summary

Constructors

Constructor and Description
LeastUpperBound(TypeSubstitutionSolver typeSubstitutionSolver, ParametrizedTypeCache parametrizedTypeCache, Symbols symbols)

Method Summary

Modifier and Type	Method and Description
Type	leastUpperBound(Set<Type> types) Compute the "Least Upper Bound" ("lub", jls8 §4.10.4) of a list of type.

Methods inherited from class java.lang.Object

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

Constructor Detail

LeastUpperBound

public LeastUpperBound(TypeSubstitutionSolver typeSubstitutionSolver,
                       ParametrizedTypeCache parametrizedTypeCache,
                       Symbols symbols)

Method Detail

leastUpperBound

public Type leastUpperBound(Set<Type> types)

Compute the "Least Upper Bound" ("lub", jls8 §4.10.4) of a list of type. The "lub" is a shared supertype that is more specific than any other shared supertype (that is, no other shared supertype is a subtype of the least upper bound) Parameterized types are currently ignored, as the method is used only to handle Union Types Trees, themselves being used only in catch trees. Note that Exceptions (any subclass of Throwable) cannot be generic (jls8 §8.1.2, §11.1.1: "compile-time error if a generic class is a direct or indirect subclass of Throwable")

Parameters:

types -

Returns:

the least upper bound of the types