Uses of Class
com.google.errorprone.refaster.Unifier
-
Uses of Unifier in com.google.errorprone.refaster
Modifier and TypeMethodDescriptionUnifier.fork()
Returns aUnifier
containing all the bindings from thisUnifier
, but which can succeed or fail independently of thisUnifier
.TemplateMatch.getUnifier()
abstract Unifier
UStatement.UnifierWithUnconsumedStatements.unifier()
Modifier and TypeMethodDescriptionUAnyOf.defaultAction
(com.sun.source.tree.Tree tree, Unifier unifier) UFreeIdent.defaultAction
(com.sun.source.tree.Tree target, Unifier unifier) UPlaceholderExpression.defaultAction
(com.sun.source.tree.Tree node, Unifier unifier) UStaticIdent.defaultAction
(com.sun.source.tree.Tree node, Unifier 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) Unifier.unifications
(List<U> toUnify, List<? extends T> targets) Unifier.unifications
(List<U> toUnify, List<? extends T> targets) Unifier.unifications
(List<U> toUnify, List<? extends T> targets, boolean allowVarargs) Unifier.unifications
(List<U> toUnify, List<? extends T> targets, boolean allowVarargs) Unifier.unifications
(U unifiable, T target) Unifier.unifications
(U unifiable, T target) Returns all valid unification paths (if any) from thisUnifier
that unify this withtarget
.Returns all successful unification paths from the specifiedUnifier
unifying the specified lists, disallowing varargs.Unifier.unifyList
(Unifier unifier, List<U> toUnify, List<? extends T> targets, boolean allowVarargs) Returns all successful unification paths from the specifiedUnifier
unifying the specified lists, allowing varargs if and only ifallowVarargs
is true.Unifier.unifyNullable
(Unifier unifier, U unifiable, T target) UClassType.visitClassType
(com.sun.tools.javac.code.Type.ClassType classType, Unifier unifier) UIntersectionClassType.visitClassType
(com.sun.tools.javac.code.Type.ClassType t, Unifier unifier) UForAll.visitForAll
(com.sun.tools.javac.code.Type.ForAll target, Unifier unifier) UFreeIdent.visitIdentifier
(com.sun.source.tree.IdentifierTree node, Unifier unifier) UMemberSelect.visitIdentifier
(com.sun.source.tree.IdentifierTree ident, Unifier unifier) ULiteral.visitLiteral
(com.sun.source.tree.LiteralTree literal, Unifier unifier) UMemberSelect.visitMemberSelect
(com.sun.source.tree.MemberSelectTree fieldAccess, Unifier unifier) UMethodInvocation.visitMethodInvocation
(com.sun.source.tree.MethodInvocationTree methodInvocation, Unifier unifier) UMethodType.visitMethodType
(com.sun.tools.javac.code.Type.MethodType methodTy, Unifier unifier) UReturn.visitReturn
(com.sun.source.tree.ReturnTree ret, Unifier unifier) UVariableDecl.visitVariable
(com.sun.source.tree.VariableTree decl, Unifier unifier) Modifier and TypeMethodDescriptionUStatement.UnifierWithUnconsumedStatements.create
(Unifier unifier, List<? extends com.sun.source.tree.StatementTree> unconsumedStatements) UAnyOf.defaultAction
(com.sun.source.tree.Tree tree, Unifier unifier) UFreeIdent.defaultAction
(com.sun.source.tree.Tree target, Unifier unifier) UPlaceholderExpression.defaultAction
(com.sun.source.tree.Tree node, Unifier unifier) UStaticIdent.defaultAction
(com.sun.source.tree.Tree node, Unifier unifier) UTree.defaultAction
(com.sun.source.tree.Tree node, Unifier unifier) boolean
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) Returns all valid unification paths (if any) from thisUnifier
that unify this withtarget
.Returns all successful unification paths from the specifiedUnifier
unifying the specified lists, disallowing varargs.Unifier.unifyList
(Unifier unifier, List<U> toUnify, List<? extends T> targets, boolean allowVarargs) Returns all successful unification paths from the specifiedUnifier
unifying the specified lists, allowing varargs if and only ifallowVarargs
is true.Unifier.unifyNullable
(Unifier unifier, U unifiable, T target) UClassType.visitClassType
(com.sun.tools.javac.code.Type.ClassType classType, Unifier unifier) UIntersectionClassType.visitClassType
(com.sun.tools.javac.code.Type.ClassType t, Unifier unifier) UForAll.visitForAll
(com.sun.tools.javac.code.Type.ForAll target, Unifier unifier) UFreeIdent.visitIdentifier
(com.sun.source.tree.IdentifierTree node, Unifier unifier) UMemberSelect.visitIdentifier
(com.sun.source.tree.IdentifierTree ident, Unifier unifier) ULiteral.visitLiteral
(com.sun.source.tree.LiteralTree literal, Unifier unifier) UMemberSelect.visitMemberSelect
(com.sun.source.tree.MemberSelectTree fieldAccess, Unifier unifier) UMethodInvocation.visitMethodInvocation
(com.sun.source.tree.MethodInvocationTree methodInvocation, Unifier unifier) UMethodType.visitMethodType
(com.sun.tools.javac.code.Type.MethodType methodTy, Unifier unifier) UReturn.visitReturn
(com.sun.source.tree.ReturnTree ret, Unifier unifier) UVariableDecl.visitVariable
(com.sun.source.tree.VariableTree decl, Unifier unifier) ModifierConstructorDescriptionTemplateMatch
(com.sun.tools.javac.tree.JCTree location, Unifier unifier)