← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

« back to all changes in this revision

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

merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java
94
94
        // hacks - I use the weight to display the TimeInterval
95
95
        @Override
96
96
        public void updateLabel(boolean showConstantNames) {
 
97
                //If there is no model we can't set the labels
 
98
                if(CreateGui.getModel() == null) {
 
99
                        return;
 
100
                }
97
101
                if (!CreateGui.getModel().netType().equals(NetType.UNTIMED)) {
98
102
                        if (inputArc == null)
99
103
                                label.setText("");