← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

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
 
                    Arc newArc = new TimedInputArcComponent(new TimedOutputArcComponent(
 
54
                    TimedInputArcComponent newArc = new TimedInputArcComponent(new TimedOutputArcComponent(
55
55
                        guiSource,
56
56
                            guiTarget,
57
57
                            arc.getWeight().value(),
64
64
                    ArcPath newArcPath = createArcPath(guiModel, oldGuiSource, oldGuiTarget, newArc);
65
65
 
66
66
                    // Set arcPath, guiModel and connectors
67
 
                    ((TimedInputArcComponent) newArc).setUnderlyingArc(addedArc);
 
67
                    newArc.setUnderlyingArc(addedArc);
68
68
                    newArc.setArcPath(newArcPath);
69
69
                    newArc.updateArcPosition();
70
70
                    guiModel.addPetriNetObject(newArc);