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:

[email protected] (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

Constructor Detail

UForAll

public UForAll()

Method Detail

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)

Specified by:

visitForAll in interface com.sun.tools.javac.code.Type.Visitor<Choice<Unifier>,Unifier>

Overrides:

visitForAll in class com.sun.tools.javac.code.Types.SimpleVisitor<Choice<Unifier>,Unifier>

inline

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

Throws:

CouldNotResolveImportException