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.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
-
Constructor Details
-
UForAll
public UForAll()
-
-
Method Details
-
create
-
getTypeVars
-
getQuantifiedType
-
visitForAll
-
inline
- Throws:
CouldNotResolveImportException
-