← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/visitors/RenameTemplateVisitor.java

merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/TCTL/visitors/RenameTemplateVisitor.java
1
1
package dk.aau.cs.TCTL.visitors;
2
2
 
3
3
import dk.aau.cs.TCTL.TCTLPlaceNode;
 
4
import dk.aau.cs.TCTL.TCTLTransitionNode;
4
5
import dk.aau.cs.util.Require;
5
6
 
6
7
public class RenameTemplateVisitor extends VisitorBase {
19
20
                if(node.getTemplate().equals(oldName)) 
20
21
                        node.setTemplate(newName);
21
22
        }
 
23
        
 
24
        @Override
 
25
        public void visit(TCTLTransitionNode node, Object context) {
 
26
                if(node.getTemplate().equals(oldName)) 
 
27
                        node.setTemplate(newName);
 
28
        }
22
29
}