← Back to branch summary

~marmux/tapaal/tapaal-timed-games

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2020-05-25 18:41:05 UTC
  • mfrom: (998.13.24 positionAsInt)
  • Revision ID: srba@cs.aau.dk-20200525184105-v4lny1w8mygv138u
merged in lp:~yrke/tapaal/positionAsInt  fixing positions to integers instead of doubles

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java
34
34
        }
35
35
 
36
36
        public TimedTransportArcComponent(TimedInputArcComponent timedArc, int group, boolean isInPreSet) {
37
 
                super(timedArc, "");
 
37
                super(timedArc);
38
38
                this.isInPreSet = isInPreSet;
39
39
 
40
40
                this.setGroup(group);
80
80
        @Override
81
81
        public void updateLabel(boolean displayConstantNames) {
82
82
                if (isInPreSet && underlyingTransportArc != null) {
83
 
                        if (CreateGui.getApp().showZeroToInfinityIntervals()){
 
83
                        if (CreateGui.getApp() != null && CreateGui.getApp().showZeroToInfinityIntervals()){
84
84
                                getNameLabel().setText(underlyingTransportArc.interval().toString(
85
85
                                                displayConstantNames)
86
86
                                                + " : " + getGroup());