~yrke/tapaal/removeNetType

« back to all changes in this revision

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

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

Show diffs side-by-side

added added

removed removed

Lines of Context:
7
7
 
8
8
public class DeleteTimedTransitionCommand extends TAPNElementCommand {
9
9
        private final TimedTransitionComponent transition;
10
 
        private SharedTransition sharedTransition;
 
10
        private final SharedTransition sharedTransition;
11
11
 
12
12
        public DeleteTimedTransitionCommand(TimedTransitionComponent transition, TimedArcPetriNet tapn, DataLayer guiModel) {
13
13
                super(tapn, guiModel);