← Back to branch summary

~cpn-gui/tapaal/transportArc

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/cpn/ColoredInputArcComponent.java

  • Committer: Mark Glavind
  • Date: 2019-03-13 15:04:59 UTC
  • Revision ID: mglavi14@student.aau.dk-20190313150459-cxi0db6wad0dedev
Urgent transitions now work with TACPN. input arcs and transport arcs adjusts their time intervals accordingly

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/cpn/ColoredInputArcComponent.java
64
64
                List<ColoredTimeInterval> ctiList;
65
65
                ctiList = ((ColoredInputArc)this.underlyingTimedInputArc()).getColorTimeIntervals();
66
66
                for (ColoredTimeInterval coloredTimeInterval : ctiList) {
67
 
                    arcPrint += coloredTimeInterval.toString() + "\n";
 
67
                    if (coloredTimeInterval != null)
 
68
                        arcPrint += coloredTimeInterval.toString() + "\n";
68
69
                }
69
70
                label.setText(arcPrint);
70
71
                /*