Class ExpressionTemplate

java.lang.Object

com.google.errorprone.refaster.Template<com.google.errorprone.refaster.ExpressionTemplateMatch>

com.google.errorprone.refaster.ExpressionTemplate

All Implemented Interfaces:

Unifiable<com.sun.tools.javac.tree.JCTree.JCExpression>, Serializable

public abstract class ExpressionTemplate
extends Template<com.google.errorprone.refaster.ExpressionTemplateMatch>
implements Unifiable<com.sun.tools.javac.tree.JCTree.JCExpression>

Implementation of a template to match and replace an expression anywhere in an AST.

Author:

lowasser@google.com (Louis Wasserman)

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ExpressionTemplate()

Method Summary

Modifier and Type	Method	Description
static ExpressionTemplate	create(com.google.common.collect.ImmutableClassToInstanceMap<Annotation> annotations, Iterable<UTypeVar> typeVariables, Map<String, ? extends UType> expressionArgumentTypes, UExpression expression, UType returnType)
static ExpressionTemplate	create(UExpression expression, UType returnType)
static ExpressionTemplate	create(Map<String, ? extends UType> expressionArgumentTypes, UExpression expression, UType returnType)
boolean	generateNegation()
Iterable<com.google.errorprone.refaster.ExpressionTemplateMatch>	match(com.sun.tools.javac.tree.JCTree target, com.sun.tools.javac.util.Context context, com.sun.tools.javac.tree.JCTree.JCCompilationUnit compilationUnit)	Returns the matches of this template against the specified target AST.
ExpressionTemplate	negation()
Fix	replace(com.google.errorprone.refaster.ExpressionTemplateMatch match)	Generates a SuggestedFix replacing the specified match (usually of another template) with this template.
Choice<Unifier>	unify(com.sun.tools.javac.tree.JCTree.JCExpression target, Unifier unifier)	Returns all valid unification paths (if any) from this Unifier that unify this with target.
ExpressionTemplate	withRuleTypeVariables(Iterable<UTypeVar> ruleTypeVariables)

Methods inherited from class Template

actualTypes, addImports, annotations, expectedTypes, expressionArgumentTypes, pretty, ruleTypeVariables, templateTypeVariables, typecheck

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExpressionTemplate

public ExpressionTemplate()

Method Details

create

public static ExpressionTemplate create(UExpression expression,
 UType returnType)

create

public static ExpressionTemplate create(Map<String, ? extends UType> expressionArgumentTypes,
 UExpression expression,
 UType returnType)

create

public static ExpressionTemplate create(com.google.common.collect.ImmutableClassToInstanceMap<Annotation> annotations,
 Iterable<UTypeVar> typeVariables,
 Map<String, ? extends UType> expressionArgumentTypes,
 UExpression expression,
 UType returnType)

withRuleTypeVariables

public ExpressionTemplate withRuleTypeVariables(Iterable<UTypeVar> ruleTypeVariables)

Specified by:

withRuleTypeVariables in class Template<com.google.errorprone.refaster.ExpressionTemplateMatch>

generateNegation

public boolean generateNegation()

negation

public ExpressionTemplate negation()

match

public Iterable<com.google.errorprone.refaster.ExpressionTemplateMatch> match(com.sun.tools.javac.tree.JCTree target,
 com.sun.tools.javac.util.Context context,
 com.sun.tools.javac.tree.JCTree.JCCompilationUnit compilationUnit)

Returns the matches of this template against the specified target AST.

Specified by:

match in class Template<com.google.errorprone.refaster.ExpressionTemplateMatch>

unify

public Choice<Unifier> unify(com.sun.tools.javac.tree.JCTree.JCExpression target,
 Unifier unifier)

Description copied from interface: Unifiable

Returns all valid unification paths (if any) from this Unifier that unify this with target.

Specified by:

unify in interface Unifiable<com.sun.tools.javac.tree.JCTree.JCExpression>

replace

public Fix replace(com.google.errorprone.refaster.ExpressionTemplateMatch match)

Generates a SuggestedFix replacing the specified match (usually of another template) with this template.

Specified by:

replace in class Template<com.google.errorprone.refaster.ExpressionTemplateMatch>