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
    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 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