Uses of Class
com.google.errorprone.refaster.Unifier

Packages that use Unifier

Package	Description
com.google.errorprone.refaster

Uses of Unifier in com.google.errorprone.refaster

Subclasses with type arguments of type Unifier in com.google.errorprone.refaster

Modifier and Type	Class	Description
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	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	UType	A serializable representation of a type template, used for enforcing type constraints on target ASTs.

Methods in com.google.errorprone.refaster that return Unifier

Modifier and Type	Method	Description
Unifier	Unifier.fork()	Returns a Unifier containing all the bindings from this Unifier, but which can succeed or fail independently of this Unifier.
Unifier	TemplateMatch.getUnifier()
abstract Unifier	UStatement.UnifierWithUnconsumedStatements.unifier()

Methods in com.google.errorprone.refaster that return types with arguments of type Unifier

Modifier and Type	Method	Description
protected Choice<Unifier>	UAnyOf.defaultAction(com.sun.source.tree.Tree tree, Unifier unifier)
protected Choice<Unifier>	UFreeIdent.defaultAction(com.sun.source.tree.Tree target, Unifier unifier)
protected Choice<Unifier>	UMethodIdent.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected Choice<Unifier>	UPlaceholderExpression.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected Choice<Unifier>	UStaticIdent.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected Choice<Unifier>	UTree.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected com.google.common.base.Optional<Unifier>	Template.typecheck(Unifier unifier, Inliner inliner, com.sun.tools.javac.util.Warner warner, com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type> expectedTypes, com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type> actualTypes)
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 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)
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>> com.google.common.base.Function<Unifier,Choice<Unifier>>	Unifier.unifications(@Nullable List<U> toUnify, @Nullable List<? extends T> targets, boolean allowVarargs)
Choice<Unifier>	ExpressionTemplate.unify(com.sun.tools.javac.tree.JCTree.JCExpression target, Unifier unifier)
Choice<Unifier>	StringName.unify(@Nullable Name target, Unifier unifier)
Choice<Unifier>	Unifiable.unify(T target, Unifier unifier)	Returns all valid unification paths (if any) from this Unifier that unify this with target.
Choice<Unifier>	UTree.unify(@Nullable com.sun.source.tree.Tree target, Unifier unifier)
final Choice<Unifier>	UType.unify(com.sun.tools.javac.code.Type target, Unifier unifier)
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)
Choice<Unifier>	UClassType.visitClassType(com.sun.tools.javac.code.Type.ClassType classType, Unifier unifier)
Choice<Unifier>	UIntersectionClassType.visitClassType(com.sun.tools.javac.code.Type.ClassType t, Unifier unifier)
Choice<Unifier>	UForAll.visitForAll(com.sun.tools.javac.code.Type.ForAll target, Unifier unifier)
Choice<Unifier>	UFreeIdent.visitIdentifier(com.sun.source.tree.IdentifierTree node, Unifier unifier)
Choice<Unifier>	UMemberSelect.visitIdentifier(com.sun.source.tree.IdentifierTree ident, Unifier unifier)
Choice<Unifier>	ULiteral.visitLiteral(com.sun.source.tree.LiteralTree literal, Unifier unifier)
Choice<Unifier>	UMemberSelect.visitMemberSelect(com.sun.source.tree.MemberSelectTree fieldAccess, Unifier unifier)
@Nullable Choice<Unifier>	UMethodInvocation.visitMethodInvocation(com.sun.source.tree.MethodInvocationTree methodInvocation, @Nullable Unifier unifier)
@Nullable Choice<Unifier>	UMethodType.visitMethodType(com.sun.tools.javac.code.Type.MethodType methodTy, @Nullable Unifier unifier)
@Nullable Choice<Unifier>	UReturn.visitReturn(com.sun.source.tree.ReturnTree ret, @Nullable Unifier unifier)
@Nullable Choice<Unifier>	UType.visitType(com.sun.tools.javac.code.Type t, @Nullable Unifier unifier)
Choice<Unifier>	UTypeVar.visitType(com.sun.tools.javac.code.Type target, Unifier unifier)
Choice<Unifier>	UVariableDecl.visitVariable(com.sun.source.tree.VariableTree decl, Unifier unifier)

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

Modifier and Type	Method	Description
static UStatement.UnifierWithUnconsumedStatements	UStatement.UnifierWithUnconsumedStatements.create(Unifier unifier, List<? extends com.sun.source.tree.StatementTree> unconsumedStatements)
protected Choice<Unifier>	UAnyOf.defaultAction(com.sun.source.tree.Tree tree, Unifier unifier)
protected Choice<Unifier>	UFreeIdent.defaultAction(com.sun.source.tree.Tree target, Unifier unifier)
protected Choice<Unifier>	UMethodIdent.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected Choice<Unifier>	UPlaceholderExpression.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected Choice<Unifier>	UStaticIdent.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
protected Choice<Unifier>	UTree.defaultAction(com.sun.source.tree.Tree node, Unifier unifier)
boolean	UPlaceholderExpression.reverify(Unifier unifier)
protected com.google.common.base.Optional<Unifier>	Template.typecheck(Unifier unifier, Inliner inliner, com.sun.tools.javac.util.Warner warner, com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type> expectedTypes, com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type> actualTypes)
Choice<Unifier>	ExpressionTemplate.unify(com.sun.tools.javac.tree.JCTree.JCExpression target, Unifier unifier)
Choice<Unifier>	StringName.unify(@Nullable Name target, Unifier unifier)
Choice<Unifier>	Unifiable.unify(T target, Unifier unifier)	Returns all valid unification paths (if any) from this Unifier that unify this with target.
Choice<Unifier>	UTree.unify(@Nullable com.sun.source.tree.Tree target, Unifier unifier)
final Choice<Unifier>	UType.unify(com.sun.tools.javac.code.Type target, Unifier unifier)
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)
Choice<Unifier>	UClassType.visitClassType(com.sun.tools.javac.code.Type.ClassType classType, Unifier unifier)
Choice<Unifier>	UIntersectionClassType.visitClassType(com.sun.tools.javac.code.Type.ClassType t, Unifier unifier)
Choice<Unifier>	UForAll.visitForAll(com.sun.tools.javac.code.Type.ForAll target, Unifier unifier)
Choice<Unifier>	UFreeIdent.visitIdentifier(com.sun.source.tree.IdentifierTree node, Unifier unifier)
Choice<Unifier>	UMemberSelect.visitIdentifier(com.sun.source.tree.IdentifierTree ident, Unifier unifier)
Choice<Unifier>	ULiteral.visitLiteral(com.sun.source.tree.LiteralTree literal, Unifier unifier)
Choice<Unifier>	UMemberSelect.visitMemberSelect(com.sun.source.tree.MemberSelectTree fieldAccess, Unifier unifier)
@Nullable Choice<Unifier>	UMethodInvocation.visitMethodInvocation(com.sun.source.tree.MethodInvocationTree methodInvocation, @Nullable Unifier unifier)
@Nullable Choice<Unifier>	UMethodType.visitMethodType(com.sun.tools.javac.code.Type.MethodType methodTy, @Nullable Unifier unifier)
@Nullable Choice<Unifier>	UReturn.visitReturn(com.sun.source.tree.ReturnTree ret, @Nullable Unifier unifier)
@Nullable Choice<Unifier>	UType.visitType(com.sun.tools.javac.code.Type t, @Nullable Unifier unifier)
Choice<Unifier>	UTypeVar.visitType(com.sun.tools.javac.code.Type target, Unifier unifier)
Choice<Unifier>	UVariableDecl.visitVariable(com.sun.source.tree.VariableTree decl, Unifier unifier)

Constructors in com.google.errorprone.refaster with parameters of type Unifier

Modifier	Constructor	Description
	TemplateMatch(com.sun.tools.javac.tree.JCTree location, Unifier unifier)