Uses of Interface
com.google.errorprone.refaster.Unifiable

Packages that use Unifiable

Package	Description
com.google.errorprone.refaster

Uses of Unifiable in com.google.errorprone.refaster

Classes in com.google.errorprone.refaster that implement Unifiable

Modifier and Type	Class	Description
class	ExpressionTemplate	Implementation of a template to match and replace an expression anywhere in an AST.
class	StringName	A simple wrapper to view a String as a Name.
class	UAnyOf	UExpression allowing a match against any of a list of expressions.
class	UClassType	A representation of a type with optional generic parameters.
class	UExpression	UTree version of ExpressionTree.
class	UForAll	UType version of Type.ForAll.
class	UFreeIdent	Free identifier that can be bound to any expression of the appropriate type.
class	UIntersectionClassType	UType representation of an IntersectionClassType.
class	ULiteral	UTree version of LiteralTree.
class	UMemberSelect	UTree version of MemberSelectTree.
class	UMethodIdent	Identifier representing an unqualified instant method.
class	UMethodInvocation	UTree version of MethodInvocationTree.
class	UMethodType	A UType representation of a Type.MethodType.
class	UPlaceholderExpression	UTree representation of an invocation of a placeholder method.
class	UReturn	UTree representation of a ReturnTree.
class	UStaticIdent	Identifier representing a static member (field, method, etc.) on a class.
class	UTree<T extends com.sun.tools.javac.tree.JCTree>	A serializable representation of a template syntax tree which can be unified with a target AST and inlined based on a set of substitutions.
class	UType	A serializable representation of a type template, used for enforcing type constraints on target ASTs.
class	UTypeVar	UType version of Type.TypeVar.
class	UVariableDecl	A UTree representation of a local variable declaration.

Methods in com.google.errorprone.refaster with type parameters of type Unifiable

Modifier and Type	Method	Description
static <T, U extends Unifiable<? super T>> com.google.common.base.Function<Unifier,Choice<Unifier>>	Unifier.unifications(@Nullable U unifiable, @Nullable T target)
static <T, U extends Unifiable<? super T>> com.google.common.base.Function<Unifier,Choice<Unifier>>	Unifier.unifications(@Nullable List<U> toUnify, @Nullable List<? extends T> targets)
static <T, U extends Unifiable<? super T>> com.google.common.base.Function<Unifier,Choice<Unifier>>	Unifier.unifications(@Nullable List<U> toUnify, @Nullable List<? extends T> targets, boolean allowVarargs)
static <T, U extends Unifiable<? super T>> Choice<Unifier>	Unifier.unifyList(Unifier unifier, @Nullable List<U> toUnify, @Nullable List<? extends T> targets)	Returns all successful unification paths from the specified Unifier unifying the specified lists, disallowing varargs.
static <T, U extends Unifiable<? super T>> Choice<Unifier>	Unifier.unifyList(Unifier unifier, @Nullable List<U> toUnify, @Nullable List<? extends T> targets, boolean allowVarargs)	Returns all successful unification paths from the specified Unifier unifying the specified lists, allowing varargs if and only if allowVarargs is true.
static <T, U extends Unifiable<? super T>> Choice<Unifier>	Unifier.unifyNullable(Unifier unifier, @Nullable U unifiable, @Nullable T target)