← Back to branch summary

~tapaal-contributor/tapaal/tikz-export-and-arc-labels-1786458

« back to all changes in this revision

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

Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup cleanup 
after refactorings, removeing code and further refactorings

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java
431
431
                return new Ellipse2D.Double(-Pipe.DASHED_PADDING/2, -Pipe.DASHED_PADDING/2, DIAMETER + Pipe.DASHED_PADDING, DIAMETER + Pipe.DASHED_PADDING);
432
432
        }
433
433
 
434
 
        public TimedPlaceComponent copy(TimedArcPetriNet tapn, DataLayer guiModel) {
 
434
        public TimedPlaceComponent copy(TimedArcPetriNet tapn) {
435
435
                TimedPlaceComponent placeComponent = new TimedPlaceComponent(getPositionXObject(), getPositionYObject(), id, nameOffsetX, nameOffsetY, markingOffsetX, markingOffsetY);
436
436
                placeComponent.setUnderlyingPlace(tapn.getPlaceByName(place.name()));
437
437
 
438
 
                placeComponent.setGuiModel(guiModel);
439
 
 
440
438
                return placeComponent;
441
439
        }
442
440
}