|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object orc.ast.oil.visitor.Walker orc.ast.oil.visitor.RenameVariables
public class RenameVariables
Renumber variables in an expression according to some arbitrary mapping (relative to the context of the expression).
Nested Class Summary | |
---|---|
static interface |
RenameVariables.Renamer
|
Method Summary | |
---|---|
void |
enterScope(int n)
|
void |
leave(Variable arg)
|
void |
leaveScope(int n)
|
static void |
rename(Expression expr,
RenameVariables.Renamer r)
|
Methods inherited from class orc.ast.oil.visitor.Walker |
---|
enter, enter, enter, enter, enter, enter, enter, enter, enter, enter, enter, enter, enter, enter, enter, leave, leave, leave, leave, leave, leave, leave, leave, leave, leave, leave, leave, leave, leave, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static void rename(Expression expr, RenameVariables.Renamer r)
public void enterScope(int n)
enterScope
in class Walker
public void leaveScope(int n)
leaveScope
in class Walker
public void leave(Variable arg)
leave
in class Walker
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |