← Back to branch summary

~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

« back to all changes in this revision

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

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2019-03-13 07:17:48 UTC
  • mfrom: (989 tapaal)
  • mto: This revision was merged to the branch mainline in revision 991.
  • Revision ID: kenneth@yrke.dk-20190313071748-fm6dc00yy27un3xd
Merged with trunk

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);