← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.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/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java
31
31
import dk.aau.cs.model.tapn.event.TimedTransitionListener;
32
32
 
33
33
public class TimedTransitionComponent extends Transition {
34
 
        private static final long serialVersionUID = -2280012053262288174L;
 
34
 
35
35
        private dk.aau.cs.model.tapn.TimedTransition transition;
36
36
        private dk.aau.cs.model.tapn.event.TimedTransitionListener listener;
37
37
        private GeneralPath dashedOutline;