← Back to branch summary

~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

« back to all changes in this revision

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

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2019-03-13 07:17:48 UTC
  • mfrom: (989 tapaal)
  • mto: This revision was merged to the branch mainline in revision 991.
  • Revision ID: kenneth@yrke.dk-20190313071748-fm6dc00yy27un3xd
Merged with trunk

Show diffs side-by-side

added added

removed removed

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