← 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/MakePlaceNewSharedCommand.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/MakePlaceNewSharedCommand.java
30
30
        private final TabContent currentTab;
31
31
        private SharedPlacesAndTransitionsPanel sharedPanel;
32
32
        private SharedPlace sharedPlace;
33
 
        private boolean multiRemove;
 
33
        private boolean multiShare;
34
34
        
35
 
        public MakePlaceNewSharedCommand(TimedArcPetriNet tapn, String newSharedName, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab, boolean multiRemove){
 
35
        public MakePlaceNewSharedCommand(TimedArcPetriNet tapn, String newSharedName, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab, boolean multiShare){
36
36
                Require.that(tapn != null, "tapn cannot be null");
37
37
                Require.that(newSharedName != null, "newSharedName cannot be null");
38
38
                Require.that(place != null, "timedPlace cannot be null");
46
46
                this.sharedPlace = null;
47
47
                this.currentTab = currentTab;
48
48
                this.sharedPanel = currentTab.getSharedPlacesAndTransitionsPanel();
49
 
                this.multiRemove = multiRemove;
 
49
                this.multiShare = multiShare;
50
50
                oldTokens = place.tokens();
51
51
                newQueryToOldQueryMapping = new Hashtable<TAPNQuery, TAPNQuery>();
52
52
        }
59
59
                        sharedPlace = new SharedPlace(newSharedName);
60
60
                }
61
61
                
62
 
                sharedPanel.addSharedPlace(sharedPlace, multiRemove);
 
62
                sharedPanel.addSharedPlace(sharedPlace, multiShare);
63
63
                updateArcs(place, sharedPlace);
64
 
                tapn.add(sharedPlace, multiRemove);
 
64
                tapn.add(sharedPlace, multiShare);
65
65
                placeComponent.setUnderlyingPlace(sharedPlace);
66
66
                
67
67
                updateQueries(place, sharedPlace);
74
74
                }
75
75
                updateArcs(sharedPlace, place);
76
76
                tapn.remove(sharedPlace);
77
 
                tapn.add(place, multiRemove);
 
77
                tapn.add(place, multiShare);
78
78
                place.addTokens(oldTokens);
79
79
                placeComponent.setUnderlyingPlace(place);
80
80