Class UTypeVar

java.lang.Object

com.google.errorprone.refaster.UType

com.google.errorprone.refaster.UTypeVar

All Implemented Interfaces:

Unifiable<com.sun.tools.javac.code.Type>, Serializable

public class UTypeVar
extends UType

UType version of Type.TypeVar.

Author:

Louis Wasserman

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	UTypeVar.Key	Bindings key linked to a UTypeVar.
static class	UTypeVar.TypeWithExpression	Tuple of an expression with an associated type.

Method Summary

Modifier and Type	Method	Description
static UTypeVar	create(String name)
static UTypeVar	create(String name, UType upperBound)
static UTypeVar	create(String name, UType lowerBound, UType upperBound)
boolean	equals(@Nullable Object obj)
UType	getLowerBound()
String	getName()
UType	getUpperBound()
int	hashCode()
com.sun.tools.javac.code.Type	inline(Inliner inliner)
UTypeVar.Key	key()
void	setLowerBound(UType lowerBound)
void	setUpperBound(UType upperBound)
String	toString()
final Choice<Unifier>	visit(com.sun.tools.javac.code.Type arg0, Unifier arg1)
Choice<Unifier>	visitArrayType(com.sun.tools.javac.code.Type.ArrayType arg0, Unifier arg1)
Choice<Unifier>	visitCapturedType(com.sun.tools.javac.code.Type.CapturedType arg0, Unifier arg1)
Choice<Unifier>	visitClassType(com.sun.tools.javac.code.Type.ClassType arg0, Unifier arg1)
Choice<Unifier>	visitErrorType(com.sun.tools.javac.code.Type.ErrorType arg0, Unifier arg1)
Choice<Unifier>	visitForAll(com.sun.tools.javac.code.Type.ForAll arg0, Unifier arg1)
Choice<Unifier>	visitMethodType(com.sun.tools.javac.code.Type.MethodType arg0, Unifier arg1)
Choice<Unifier>	visitModuleType(com.sun.tools.javac.code.Type.ModuleType arg0, Unifier arg1)
Choice<Unifier>	visitPackageType(com.sun.tools.javac.code.Type.PackageType arg0, Unifier arg1)
Choice<Unifier>	visitType(com.sun.tools.javac.code.Type target, Unifier unifier)
Choice<Unifier>	visitTypeVar(com.sun.tools.javac.code.Type.TypeVar arg0, Unifier arg1)
Choice<Unifier>	visitUndetVar(com.sun.tools.javac.code.Type.UndetVar arg0, Unifier arg1)
Choice<Unifier>	visitWildcardType(com.sun.tools.javac.code.Type.WildcardType arg0, Unifier arg1)

Methods inherited from class UType

unify

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

create

public static UTypeVar create(String name,
 UType lowerBound,
 UType upperBound)

create

public static UTypeVar create(String name,
 UType upperBound)

create

public static UTypeVar create(String name)

visitType

public Choice<Unifier> visitType(com.sun.tools.javac.code.Type target,
 Unifier unifier)

Overrides:

visitType in class UType

key

public UTypeVar.Key key()

getName

public String getName()

getLowerBound

public UType getLowerBound()

getUpperBound

public UType getUpperBound()

setLowerBound

public void setLowerBound(UType lowerBound)

Parameters:

lowerBound - the lowerBound to set

setUpperBound

public void setUpperBound(UType upperBound)

Parameters:

upperBound - the upperBound to set

inline

public com.sun.tools.javac.code.Type inline(Inliner inliner)
                                     throws CouldNotResolveImportException

Throws:

CouldNotResolveImportException

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

visitCapturedType

public Choice<Unifier> visitCapturedType(com.sun.tools.javac.code.Type.CapturedType arg0,
 Unifier arg1)

visitForAll

public Choice<Unifier> visitForAll(com.sun.tools.javac.code.Type.ForAll arg0,
 Unifier arg1)

visitUndetVar

public Choice<Unifier> visitUndetVar(com.sun.tools.javac.code.Type.UndetVar arg0,
 Unifier arg1)

visit

public final Choice<Unifier> visit(com.sun.tools.javac.code.Type arg0,
 Unifier arg1)

visitClassType

public Choice<Unifier> visitClassType(com.sun.tools.javac.code.Type.ClassType arg0,
 Unifier arg1)

visitWildcardType

public Choice<Unifier> visitWildcardType(com.sun.tools.javac.code.Type.WildcardType arg0,
 Unifier arg1)

visitArrayType

public Choice<Unifier> visitArrayType(com.sun.tools.javac.code.Type.ArrayType arg0,
 Unifier arg1)

visitMethodType

public Choice<Unifier> visitMethodType(com.sun.tools.javac.code.Type.MethodType arg0,
 Unifier arg1)

visitPackageType

public Choice<Unifier> visitPackageType(com.sun.tools.javac.code.Type.PackageType arg0,
 Unifier arg1)

visitModuleType

public Choice<Unifier> visitModuleType(com.sun.tools.javac.code.Type.ModuleType arg0,
 Unifier arg1)

visitTypeVar

public Choice<Unifier> visitTypeVar(com.sun.tools.javac.code.Type.TypeVar arg0,
 Unifier arg1)

visitErrorType

public Choice<Unifier> visitErrorType(com.sun.tools.javac.code.Type.ErrorType arg0,
 Unifier arg1)