ClassDescriptionA type-safe map from objects of type
Bindings.Key<V>, which consist of a
Stringkey and a
Bindings.Keysubclass, to values of type
V.Bindings.Key<V>A key type for a
Binding.Template representing a sequence of consecutive statements.Choice<T>A representation of a choice with zero or more options, which may be evaluated lazily or strictly.Analyzes a series of statements to determine whether they don't, sometimes, or never return.The state of whether a sequence of statements may return, break out of the visited statements, or neither.Exception thrown when a class symbol could not be resolved by the compiler.Implementation of a template to match and replace an expression anywhere in an AST.Policy specifying when and how to import classes when inlining types.A context representing all the dependencies necessary to reconstruct a pretty-printable source tree from a
UTreebased on a set of substitutions.Binding for a local variable in a template.Static utilities to indicate special handling in Refaster templates.A representation of an entire Refaster rule, corresponding to a class with @BeforeTemplates and @AfterTemplates.Scanner implementation to extract a single Refaster rule from a
ClassTree.A javac plugin that compiles Refaster rules to a
.analyzerfile.TaskListener that receives compilation of a Refaster rule class and outputs a serialized analyzer to the specified path.A simple wrapper to view a
Name.Abstract superclass for templates that can be used to search and replace in a Java syntax tree.Abstract type representing a match against a
UExpressionallowing a match against any of a list of expressions.A representation of a type with optional generic parameters.
Type.ForAll.Free identifier that can be bound to any expression of the appropriate type.
UTyperepresentation of an
UTyperepresentation of a
Type.MethodType.Unifiable<T>A serializable representation of a template that can be matched against a target of type
T.A mutable representation of an attempt to match a template source tree against a target source tree.
UTreerepresentation of an invocation of a placeholder method.
UTreerepresentation of a
UTreerepresentation of a
StatementTree.Tuple of a Unifier and a list of statements that are still waiting to be matched.Identifier representing a static member (field, method, etc.) on a class.Converts a type-checked syntax tree to a portable
UTreetemplate.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.A serializable representation of a type template, used for enforcing type constraints on target ASTs.
Type.TypeVar.Bindings key linked to a
UTypeVar.Tuple of an expression with an associated type.A
UTreerepresentation of a local variable declaration.