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 ofType.ForAll
.- Author:
- [email protected] (Louis Wasserman)
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description UForAll()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods 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
-
-
-
-
Method Detail
-
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
-
-