TAPAAL

Merge lp:~yrke/tapaal/fix1976494 into lp:tapaal

  1. fix1976494
  2. Merge into trunk
Proposed by Kenneth Yrke Jørgensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1170
Merged at revision: 1170
Proposed branch: lp:~yrke/tapaal/fix1976494
Merge into: lp:tapaal
Diff against target: 11 lines (+1/-0)
1 file modified
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-0)
To merge this branch: bzr merge lp:~yrke/tapaal/fix1976494
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+423764@code.launchpad.net
To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Fixes the problem.

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java'
--- src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java 2021-07-22 19:37:36 +0000
+++ src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java 2022-06-01 12:54:04 +0000
@@ -227,6 +227,7 @@
227 public TimedTransitionComponent copy(TimedArcPetriNet tapn) {227 public TimedTransitionComponent copy(TimedArcPetriNet tapn) {
228 TimedTransitionComponent transitionComponent = new TimedTransitionComponent(getOriginalX(), getOriginalY(), id, getNameOffsetX(), getNameOffsetY(), true, false, getAngle(), 0, lens);228 TimedTransitionComponent transitionComponent = new TimedTransitionComponent(getOriginalX(), getOriginalY(), id, getNameOffsetX(), getNameOffsetY(), true, false, getAngle(), 0, lens);
229 transitionComponent.setUnderlyingTransition(tapn.getTransitionByName(transition.name()));229 transitionComponent.setUnderlyingTransition(tapn.getTransitionByName(transition.name()));
230 transitionComponent.setUncontrollable(isUncontrollable());
230231
231 return transitionComponent;232 return transitionComponent;
232 }233 }

Subscribers

People subscribed via source and target branches