← 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/TimedTransitionComponent.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/TimedTransitionComponent.java
225
225
                return super.rotate(angleInc);
226
226
        }
227
227
 
228
 
        public TimedTransitionComponent copy(TimedArcPetriNet tapn, DataLayer guiModel) {
 
228
        public TimedTransitionComponent copy(TimedArcPetriNet tapn) {
229
229
                TimedTransitionComponent transitionComponent = new TimedTransitionComponent(getPositionXObject(), getPositionYObject(), id, nameOffsetX, nameOffsetY, true, false, getAngle(), 0);
230
230
                transitionComponent.setUnderlyingTransition(tapn.getTransitionByName(transition.name()));
231
 
                
232
 
                transitionComponent.setGuiModel(guiModel);
233
231
 
234
232
                return transitionComponent;
235
233
        }