← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

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

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java
23
23
        private final TimedPlace place;
24
24
        private final TimedArcPetriNet tapn;
25
25
        private final TimedPlaceComponent placeComponent;
 
26
        private final boolean multishare;
26
27
        
27
 
        private Hashtable<TAPNQuery, TAPNQuery> newQueryToOldQueryMapping;
 
28
        private final Hashtable<TAPNQuery, TAPNQuery> newQueryToOldQueryMapping;
28
29
        private final List<TimedToken> oldTokens;
29
 
        private TabContent currentTab;
30
 
        
31
 
        public MakePlaceSharedCommand(TimedArcPetriNet tapn, SharedPlace sharedPlace, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab){
 
30
        private final TabContent currentTab;
 
31
 
 
32
        public MakePlaceSharedCommand(TimedArcPetriNet tapn, SharedPlace sharedPlace, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab, boolean multishare){
32
33
                Require.that(tapn != null, "tapn cannot be null");
33
34
                Require.that(sharedPlace != null, "sharedPlace cannot be null");
34
35
                Require.that(place != null, "timedPlace cannot be null");
35
36
                Require.that(placeComponent != null, "placeComponent cannot be null");
36
37
                Require.that(currentTab != null, "currentTab cannot be null");
37
 
                
 
38
 
38
39
                this.tapn = tapn;
39
40
                this.sharedPlace = sharedPlace;
40
41
                this.place = place;
41
42
                this.placeComponent = placeComponent;
 
43
                this.multishare = multishare;
42
44
                oldTokens = place.tokens();
43
45
                this.currentTab = currentTab;
44
46
                newQueryToOldQueryMapping = new Hashtable<TAPNQuery, TAPNQuery>();
45
47
        }
 
48
        public MakePlaceSharedCommand(TimedArcPetriNet tapn, SharedPlace sharedPlace, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab){
 
49
                this(tapn, sharedPlace, place, placeComponent, currentTab, false);
 
50
        }
46
51
        
47
52
        @Override
48
53
        public void redo() {
49
54
                updateArcs(place, sharedPlace);
50
55
                
51
56
                tapn.remove(place);
52
 
                tapn.add(sharedPlace);
 
57
                tapn.add(sharedPlace, multishare);
53
58
                placeComponent.setUnderlyingPlace(sharedPlace);
54
59
                
55
60
                updateQueries(place, sharedPlace);
59
64
        public void undo() {
60
65
                updateArcs(sharedPlace, place);
61
66
                tapn.remove(sharedPlace);
62
 
                tapn.add(place);
 
67
                tapn.add(place, multishare);
63
68
                place.addTokens(oldTokens);
64
69
                placeComponent.setUnderlyingPlace(place);
65
70