← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/TabTransformer.java

  • Committer: srba.jiri at gmail
  • Date: 2020-08-19 12:02:28 UTC
  • mfrom: (1071.2.34 untimed-timed-gui)
  • Revision ID: srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/TabTransformer.java
51
51
                    DataLayer guiModel = template.guiModel();
52
52
                    Place guiSource = guiModel.getPlaceByName(arc.getSource().getName());
53
53
                    Transition guiTarget = guiModel.getTransitionByName(arc.getTarget().getName());
54
 
                    TimedInputArcComponent newArc = new TimedInputArcComponent(new TimedOutputArcComponent(
55
 
                        guiSource,
 
54
                    TimedInputArcComponent newArc = new TimedInputArcComponent(
 
55
                        new TimedOutputArcComponent(
 
56
                            guiSource,
56
57
                            guiTarget,
57
58
                            arc.getWeight().value(),
58
59
                            arc.getSource().getName() + "_to_" + arc.getTarget().getName()
59
 
                    ));
 
60
                        ),
 
61
                        tab.getLens()
 
62
                    );
60
63
 
61
64
                    // Build ArcPath
62
65
                    Place oldGuiSource = guiModel.getPlaceByName(arc.getSource().getName());