Package com.google.errorprone.refaster

Class UType

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

All Implemented Interfaces:

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

Direct Known Subclasses:

UClassType, UForAll, UIntersectionClassType, UMethodType, UTypeVar

public abstract class UType
extends com.sun.tools.javac.code.Types.SimpleVisitor<Choice<Unifier>,Unifier>
implements Unifiable<com.sun.tools.javac.code.Type>

A serializable representation of a type template, used for enforcing type constraints on target ASTs.

Author:

Louis Wasserman

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
UType()

Method Summary

Modifier and Type	Method	Description
T	inline(Inliner inliner)
Choice<Unifier>	unify(com.sun.tools.javac.code.Type target, Unifier unifier)	Returns all valid unification paths (if any) from this Unifier that unify this with target.
Choice<Unifier>	visitType(com.sun.tools.javac.code.Type t, Unifier unifier)

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, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UType

public UType()

Method Detail

visitType

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

Specified by:

visitType in interface com.sun.tools.javac.code.Type.Visitor<Choice<Unifier>,Unifier>

unify

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

Description copied from interface: Unifiable

Returns all valid unification paths (if any) from this Unifier that unify this with target.

Specified by:

unify in interface Unifiable<com.sun.tools.javac.code.Type>

inline

public abstract T inline(Inliner inliner)
                  throws CouldNotResolveImportException

Throws:

CouldNotResolveImportException