← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.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/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java
438
438
                        if (inputArc instanceof TimedInputArcComponent) {
439
439
                                arcElement.setAttribute("type", getInputArcTypeAsString((TimedInputArcComponent)inputArc));
440
440
                                arcElement.setAttribute("inscription", getGuardAsString((TimedInputArcComponent)inputArc));     
441
 
                                arcElement.setAttribute("weight", ((TimedInputArcComponent)inputArc).getWeight().nameForSaving(true)+"");
 
441
                                arcElement.setAttribute("weight", inputArc.getWeight().nameForSaving(true)+"");
442
442
                        } else {
443
443
                                arcElement.setAttribute("type", "normal");
444
444
                                arcElement.setAttribute("inscription", "1");
445
 
                                arcElement.setAttribute("weight", ((TimedOutputArcComponent)inputArc).getWeight().nameForSaving(true)+"");
 
445
                                arcElement.setAttribute("weight", inputArc.getWeight().nameForSaving(true)+"");
446
446
                        }
447
447
                } 
448
448
                return arcElement;