Package com.google.errorprone.refaster

Class UTypeVar

java.lang.Object

com.sun.tools.javac.code.Types.DefaultTypeVisitor<R,S>

com.sun.tools.javac.code.Types.SimpleVisitor<Choice<Unifier>,Unifier>

com.google.errorprone.refaster.UType

com.google.errorprone.refaster.UTypeVar

All Implemented Interfaces:

Unifiable<com.sun.tools.javac.code.Type>, com.sun.tools.javac.code.Type.Visitor<Choice<Unifier>,Unifier>, 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 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(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()
Choice<Unifier>	visitType(com.sun.tools.javac.code.Type target, Unifier unifier)

Methods inherited from class com.google.errorprone.refaster.UType

unify

Methods inherited from class com.sun.tools.javac.code.Types.SimpleVisitor

visitCapturedType, visitForAll, visitUndetVar

Methods inherited from class com.sun.tools.javac.code.Types.DefaultTypeVisitor

visit, visitArrayType, visitClassType, visitErrorType, visitMethodType, visitModuleType, visitPackageType, visitTypeVar, visitWildcardType

Methods inherited from class java.lang.Object

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

Method Detail

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)

Specified by:

visitType in interface com.sun.tools.javac.code.Type.Visitor<Choice<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