← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java
33
33
public class TimedTransitionComponent extends Transition {
34
34
 
35
35
        private dk.aau.cs.model.tapn.TimedTransition transition;
36
 
        private dk.aau.cs.model.tapn.event.TimedTransitionListener listener;
 
36
        private final dk.aau.cs.model.tapn.event.TimedTransitionListener listener;
37
37
        private GeneralPath dashedOutline;
38
38
 
39
39
        public TimedTransitionComponent(int positionXInput, int positionYInput, dk.aau.cs.model.tapn.TimedTransition transition) {