← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.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/MakePlaceNewSharedCommand.java
24
24
        private final TimedPlace place;
25
25
        private final TimedArcPetriNet tapn;
26
26
        private final TimedPlaceComponent placeComponent;
27
 
        private Hashtable<TAPNQuery, TAPNQuery> newQueryToOldQueryMapping;
 
27
        private final Hashtable<TAPNQuery, TAPNQuery> newQueryToOldQueryMapping;
28
28
        private final List<TimedToken> oldTokens;
29
29
        private final TabContent currentTab;
30
 
        private SharedPlacesAndTransitionsPanel sharedPanel;
 
30
        private final SharedPlacesAndTransitionsPanel sharedPanel;
31
31
        private SharedPlace sharedPlace;
32
 
        private boolean multiShare;
 
32
        private final boolean multiShare;
33
33
        
34
34
        public MakePlaceNewSharedCommand(TimedArcPetriNet tapn, String newSharedName, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab, boolean multiShare){
35
35
                Require.that(tapn != null, "tapn cannot be null");