← Back to branch summary

~tapaal-contributor/tapaal/tikz-export-label-placement-1820528

« back to all changes in this revision

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

Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup cleanup 
after refactorings, removeing code and further refactorings

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java
168
168
                g2.setTransform(reset);
169
169
        }
170
170
        
171
 
        public TimedInhibitorArcComponent copy(TimedArcPetriNet tapn, DataLayer guiModel, Hashtable<PlaceTransitionObject, PlaceTransitionObject> oldToNewMapping) {
 
171
        public TimedInhibitorArcComponent copy(TimedArcPetriNet tapn, Hashtable<PlaceTransitionObject, PlaceTransitionObject> oldToNewMapping) {
172
172
                TimedInhibitorArcComponent arc = new TimedInhibitorArcComponent(this);
173
173
                arc.setSource(oldToNewMapping.get(this.getSource()));
174
174
                arc.setTarget(oldToNewMapping.get(this.getTarget()));
178
178
                
179
179
                arc.setUnderlyingArc(tapn.getInhibitorArcFromPlaceAndTransition(tapn.getPlaceByName(inhibitorArc.source().name()), tapn.getTransitionByName(inhibitorArc.destination().name())));
180
180
                
181
 
                arc.setGuiModel(guiModel);
182
 
                
183
181
                return arc;
184
182
        }
185
183