Package com.google.errorprone.refaster

Class UForAll

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
com.google.errorprone.refaster.UForAll
All Implemented Interfaces:
Unifiable<com.sun.tools.javac.code.Type>, com.sun.tools.javac.code.Type.Visitor<Choice<Unifier>,​Unifier>, Serializable
public abstract class UForAll
extends UType
UType version of Type.ForAll.
Author:
lowasser@google.com (Louis Wasserman)
See Also:
Serialized Form

  • Constructor Summary

    Constructors
    Constructor Description
    UForAll()  

  • Method Summary

    Modifier and Type Method Description
    static UForAll create​(List<UTypeVar> typeVars, UType quantifiedType)  
    abstract UType getQuantifiedType()  
    abstract com.google.common.collect.ImmutableList<UTypeVar> getTypeVars()  
    com.sun.tools.javac.code.Type inline​(Inliner inliner)  
    Choice<Unifier> visitForAll​(com.sun.tools.javac.code.Type.ForAll target, Unifier unifier)  

    Methods inherited from class com.google.errorprone.refaster.UType

    unify, visitType

    Methods inherited from class com.sun.tools.javac.code.Types.SimpleVisitor

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