Class UForAll

java.lang.Object
com.google.errorprone.refaster.UType
com.google.errorprone.refaster.UForAll
All Implemented Interfaces:
Unifiable<com.sun.tools.javac.code.Type>, Serializable
public abstract class UForAll extends UType
UType version of Type.ForAll.
Author:
lowasser@google.com (Louis Wasserman)
See Also:

  • Constructor Details

    • UForAll

      public UForAll()

  • Method Details

    • create

      public static UForAll create(List<UTypeVar> typeVars, UType quantifiedType)

    • getTypeVars

      public abstract com.google.common.collect.ImmutableList<UTypeVar> getTypeVars()

    • getQuantifiedType

      public abstract UType getQuantifiedType()

    • visitForAll

      public Choice<Unifier> visitForAll(com.sun.tools.javac.code.Type.ForAll target, Unifier unifier)

    • inline

      public com.sun.tools.javac.code.Type inline(Inliner inliner) throws CouldNotResolveImportException
      Throws:
      CouldNotResolveImportException

    • visitCapturedType

      public Choice<Unifier> visitCapturedType(com.sun.tools.javac.code.Type.CapturedType arg0, Unifier arg1)

    • visitUndetVar

      public Choice<Unifier> visitUndetVar(com.sun.tools.javac.code.Type.UndetVar arg0, Unifier arg1)

    • visit

      public final Choice<Unifier> visit(com.sun.tools.javac.code.Type arg0, Unifier arg1)

    • visitClassType

      public Choice<Unifier> visitClassType(com.sun.tools.javac.code.Type.ClassType arg0, Unifier arg1)

    • visitWildcardType

      public Choice<Unifier> visitWildcardType(com.sun.tools.javac.code.Type.WildcardType arg0, Unifier arg1)

    • visitArrayType

      public Choice<Unifier> visitArrayType(com.sun.tools.javac.code.Type.ArrayType arg0, Unifier arg1)

    • visitMethodType

      public Choice<Unifier> visitMethodType(com.sun.tools.javac.code.Type.MethodType arg0, Unifier arg1)

    • visitPackageType

      public Choice<Unifier> visitPackageType(com.sun.tools.javac.code.Type.PackageType arg0, Unifier arg1)

    • visitModuleType

      public Choice<Unifier> visitModuleType(com.sun.tools.javac.code.Type.ModuleType arg0, Unifier arg1)

    • visitTypeVar

      public Choice<Unifier> visitTypeVar(com.sun.tools.javac.code.Type.TypeVar arg0, Unifier arg1)

    • visitErrorType

      public Choice<Unifier> visitErrorType(com.sun.tools.javac.code.Type.ErrorType arg0, Unifier arg1)