~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/undo/UpdateConstantEdit.java

MergedĀ lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
8
8
 
9
9
public class UpdateConstantEdit extends Command {
10
10
 
11
 
        private Constant newConstant;
12
 
        private ConstantStore store;
13
 
        private Constant oldConstant;
14
 
        private TimedArcPetriNetNetwork model;
 
11
        private final Constant newConstant;
 
12
        private final ConstantStore store;
 
13
        private final Constant oldConstant;
 
14
        private final TimedArcPetriNetNetwork model;
15
15
 
16
16
        public UpdateConstantEdit(Constant oldConstant, Constant newConstant,
17
17
                        ConstantStore store, TimedArcPetriNetNetwork model) {