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:
- Serialized Form
-
Constructor Summary
Constructors Constructor Description UType()
-
Method Summary
Modifier and Type Method Description com.sun.tools.javac.code.Type
inline(Inliner inliner)
Choice<Unifier>
unify(com.sun.tools.javac.code.Type target, Unifier unifier)
Returns all valid unification paths (if any) from thisUnifier
that unify this withtarget
.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
-
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
-