← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.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/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java
66
66
 
67
67
        public TimedPlaceComponent(double positionXInput, double positionYInput,
68
68
                        String idInput, Double nameOffsetXInput,
69
 
                        Double nameOffsetYInput,
70
 
                        double markingOffsetXInput, double markingOffsetYInput) {
 
69
                        Double nameOffsetYInput) {
71
70
 
72
71
                super(positionXInput, positionYInput, idInput,
73
 
                                nameOffsetXInput, nameOffsetYInput,
74
 
                                markingOffsetXInput, markingOffsetYInput);
 
72
                                nameOffsetXInput, nameOffsetYInput);
75
73
                listener = timedPlaceListener();
76
74
                attributesVisible = true;
77
75
                ageOfTokensWindow = new Window(new Frame());
432
430
        }
433
431
 
434
432
        public TimedPlaceComponent copy(TimedArcPetriNet tapn) {
435
 
                TimedPlaceComponent placeComponent = new TimedPlaceComponent(getPositionXObject(), getPositionYObject(), id, nameOffsetX, nameOffsetY, markingOffsetX, markingOffsetY);
 
433
                TimedPlaceComponent placeComponent = new TimedPlaceComponent(getPositionXObject(), getPositionYObject(), id, nameOffsetX, nameOffsetY);
436
434
                placeComponent.setUnderlyingPlace(tapn.getPlaceByName(place.name()));
437
435
 
438
436
                return placeComponent;