← Back to branch summary

~tapaal-contributor/tapaal/tikz-export-label-placement-1820528

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

merged in branch lp:~yrke/tapaal/removedUnusedFieldsFromXML that removes unused offset fields for intial marking from XML and PNML input formats

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java
384
384
                placeElement.setAttribute("nameOffsetX", (inputPlace.getNameOffsetXObject() != null ? String.valueOf(inputPlace.getNameOffsetXObject()) : ""));
385
385
                placeElement.setAttribute("nameOffsetY", (inputPlace.getNameOffsetYObject() != null ? String.valueOf(inputPlace.getNameOffsetYObject()) : ""));
386
386
                placeElement.setAttribute("initialMarking", ((Integer) inputPlace.getNumberOfTokens() != null ? String.valueOf((Integer) inputPlace.getNumberOfTokens()) : "0"));
387
 
                placeElement.setAttribute("markingOffsetX",     (inputPlace.getMarkingOffsetXObject() != null ? String.valueOf(inputPlace.getMarkingOffsetXObject()) : ""));
388
 
                placeElement.setAttribute("markingOffsetY",     (inputPlace.getMarkingOffsetYObject() != null ? String.valueOf(inputPlace.getMarkingOffsetYObject()) : ""));
389
 
                placeElement.setAttribute("invariant", inputPlace.underlyingPlace().invariant().toString());    
 
387
                placeElement.setAttribute("invariant", inputPlace.underlyingPlace().invariant().toString());
390
388
 
391
389
                return placeElement;
392
390
        }