Class UType

java.lang.Object
com.sun.tools.javac.code.Types.DefaultTypeVisitor<Choice<Unifier>,Unifier>
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:

  • Constructor Summary

    Constructors
    Constructor
    Description
    UType()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    com.sun.tools.javac.code.Type
    inline(Inliner inliner)
     
    final 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.
    @Nullable Choice<Unifier>
    visitType(com.sun.tools.javac.code.Type t, @Nullable 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