← Back to branch summary

~yrke/tapaal/createArc-encapsulation

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/undo/RenameTimedTransitionCommand.java

  • Committer: Jiri Srba
  • Date: 2018-05-11 14:56:30 UTC
  • mfrom: (957.2.3 tapaal)
  • Revision ID: srba@cs.aau.dk-20180511145630-e8l89lewt8xdrus3
merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing an un-cought exception when renaming a transition to nonvalid name

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/undo/RenameTimedTransitionCommand.java
9
9
        private final TimedTransition transition;
10
10
        private final String oldName;
11
11
        private final String newName;
12
 
        private final TabContent tabContent;
 
12
        private final TabContent tabContent;
13
13
 
14
14
        public RenameTimedTransitionCommand(TabContent tabContent, TimedTransition transition, String oldName, String newName) {
15
 
                this.tabContent = tabContent;
 
15
                this.tabContent = tabContent;
16
16
                this.transition = transition;
17
17
                this.oldName = oldName;
18
18
                this.newName = newName;
21
21
        @Override
22
22
        public void redo() {
23
23
                transition.setName(newName);
24
 
                updateQueries(oldName, newName);
 
24
                updateQueries(oldName, newName);
25
25
        }
26
26
 
27
27
        @Override
28
28
        public void undo() {
29
29
                transition.setName(oldName);
30
 
                updateQueries(newName,oldName);
 
30
                updateQueries(newName,oldName);
31
31
        }
32
32
 
33
 
        private void updateQueries(String nameToFind, String nameToInsert){
 
33
        private void updateQueries(String nameToFind, String nameToInsert){
34
34
                RenameTransitionTCTLVisitor renameVisitor = new RenameTransitionTCTLVisitor(nameToFind, nameToInsert);
35
35
                for (TAPNQuery q : tabContent.queries()) {
36
36
                        q.getProperty().accept(renameVisitor, null);