|
| |
|
| java.lang.Object
 de.uka.ilkd.key.java.visitor.JavaASTWalker
de.uka.ilkd.key.java.visitor.JavaASTVisitor
de.uka.ilkd.key.java.visitor.CreatingASTVisitor
de.uka.ilkd.key.java.visitor.ProgVarReplaceVisitor
| ProgVarReplaceVisitor | | public class ProgVarReplaceVisitor extends CreatingASTVisitor (Code) | | Walks through a java AST in depth-left-first-order. This visitor
replaces a number of program variables by others or new ones.
|
| replaceMap | | protected Map replaceMap(Code) | | stores the program variables to be replaced as keys and the new
program variables as values
|
| replaceallbynew | | protected boolean replaceallbynew(Code) | | |
| ProgVarReplaceVisitor | | public ProgVarReplaceVisitor(ProgramElement st, ProgramVariable[] oldPVs)(Code) | | creates a visitor that replaces the program variables in the given
statement by new ones with the same name
Parameters:
st - the statement where the prog vars are replaced
Parameters:
oldPVs - the program variables that are replaced |
| ProgVarReplaceVisitor | | public ProgVarReplaceVisitor(ProgramElement st, Map map)(Code) | | creates a visitor that replaces the program variables in the given
statement by new ones with the same name
Parameters:
st - the statement where the prog vars are replaced
Parameters:
map - the HashMap with the replacements |
| ProgVarReplaceVisitor | | public ProgVarReplaceVisitor(ProgramElement st, Map map, boolean replaceall)(Code) | | creates a visitor that replaces the program variables in the given
statement
Parameters:
st - the statement where the prog vars are replaced
Parameters:
map - the HashMap with the replacements
Parameters:
replaceall - decides if all variables are to be replaced |
| ProgVarReplaceVisitor | | public ProgVarReplaceVisitor(ProgramElement st)(Code) | | creates a visitor that replaces the program variables in the given
statement by new ones with the same name
Parameters:
st - the statement where the prog vars are replaced |
| doAction | | protected void doAction(ProgramElement node)(Code) | | the action that is performed just before leaving the node the
last time
|
| performActionOnAnnotationArray | | protected void performActionOnAnnotationArray(Annotation[] a)(Code) | | Performs action on the annotations a.
|
| start | | public void start()(Code) | | starts the walker
|
|
|
|