← Back to branch summary

~yrke/tapaal/remoteUnusedFunction-updateTooltip

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java
25
25
        private final TimedPlaceComponent placeComponent;
26
26
        private final boolean multishare;
27
27
        
28
 
        private Hashtable<TAPNQuery, TAPNQuery> newQueryToOldQueryMapping;
 
28
        private final Hashtable<TAPNQuery, TAPNQuery> newQueryToOldQueryMapping;
29
29
        private final List<TimedToken> oldTokens;
30
 
        private TabContent currentTab;
 
30
        private final TabContent currentTab;
31
31
 
32
32
        public MakePlaceSharedCommand(TimedArcPetriNet tapn, SharedPlace sharedPlace, TimedPlace place, TimedPlaceComponent placeComponent, TabContent currentTab, boolean multishare){
33
33
                Require.that(tapn != null, "tapn cannot be null");