Package com.google.errorprone.refaster
Class 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:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptioncom.sun.tools.javac.code.Type
Returns all valid unification paths (if any) from thisUnifier
that unify this withtarget
.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
-
Constructor Details
-
UType
public UType()
-
-
Method Details
-
visitType
-
unify
Description copied from interface:Unifiable
Returns all valid unification paths (if any) from thisUnifier
that unify this withtarget
. -
inline
- Throws:
CouldNotResolveImportException
-