Class UForAll

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

  • 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