public class Rename extends Object
Constructor and Description |
---|
Rename() |
Modifier and Type | Method and Description |
---|---|
static Var |
chooseVarName(Var var,
Collection<Var> inUse,
String prefix)
Given an old name, and some names already in use, pick a fresh, new name
|
static Op |
renameNode(Op op,
Node oldName,
Node newName)
Rename one node to another
|
static Op |
renameVar(Op op,
Var oldName,
Var newName)
Rename one variable to another
|
static ExprList |
renameVars(ExprList exprList,
Set<Var> constants)
Rename all variables in an expression, EXCEPT for those named as constant
|
static Expr |
renameVars(Expr expr,
Set<Var> constants) |
static Op |
renameVars(Op op,
Collection<Var> constants)
Rename all variables in a pattern, EXCEPT for those named as constant
|
static Op |
reverseVarRename(Op op,
boolean repeatedly)
Undo the effect of the rename operation, once or repeatedly.
|
public static Var chooseVarName(Var var, Collection<Var> inUse, String prefix)
public static Op renameNode(Op op, Node oldName, Node newName)
public static Op renameVar(Op op, Var oldName, Var newName)
public static Op renameVars(Op op, Collection<Var> constants)
public static ExprList renameVars(ExprList exprList, Set<Var> constants)
Licenced under the Apache License, Version 2.0