← Back to branch summary

~tapaal-contributor/tapaal/places-with-same-name-shared-1801728

« back to all changes in this revision

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

  • Committer: ptaankvist at gmail
  • Date: 2019-01-31 17:18:34 UTC
  • Revision ID: ptaankvist@gmail.com-20190131171834-awgxte0hew50qj2i
Works for transitions as well as places

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java
17
17
        private final String oldName;
18
18
        private final TimedArcPetriNet tapn;
19
19
        private SharedPlacesAndTransitionsPanel sharedPanel;
 
20
        private boolean multiShare;
20
21
        
21
 
        public MakeTransitionNewSharedCommand(TimedArcPetriNet tapn, String newName, TimedTransition timedTransition, TabContent tabContent){
 
22
        public MakeTransitionNewSharedCommand(TimedArcPetriNet tapn, String newName, TimedTransition timedTransition, TabContent tabContent, boolean multiShare){
22
23
                this.sharedTransition = null;
23
24
                this.tapn = tapn;
24
25
                this.timedTransition = timedTransition;
25
26
                this.newName = newName;
26
27
                this.oldName = timedTransition.name();
27
28
                this.sharedPanel = tabContent.getSharedPlacesAndTransitionsPanel();
 
29
                this.multiShare = multiShare;
28
30
        }
29
31
        
30
32
        @Override
33
35
                if(sharedTransition == null){
34
36
                        sharedTransition = new SharedTransition(newName);
35
37
                }
36
 
                sharedPanel.addSharedTransition(sharedTransition);                      
 
38
                sharedPanel.addSharedTransition(sharedTransition, multiShare);                  
37
39
                sharedTransition.makeShared(timedTransition);
38
40
                
39
41
                tapn.add(timedTransition);