~tapaal-contributor/tapaal/arc-label-position-on-template-copy-1820176

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

Committer: srba.jiri at gmail
Date: 2019-03-13 08:15:04 UTC
mfrom: (977.3.2 remove-staticIgnoreSelect)
Revision ID: srba.jiri@gmail.com-20190313081504-t5dg68d0mouyuf02

merged in branch lp:~yrke/tapaal/remove-staticIgnoreSelect that changes the behaviour of the export feature (exports also animator configuration, selected transitions etc)

files modified:
src/pipe/gui/Export.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

133

return inhibitorArc.interval();

134

}

135

136

@Override

137

138

139

136

public TimedInhibitorArcComponent copy(TimedArcPetriNet tapn, Hashtable<PlaceTransitionObject, PlaceTransitionObject> oldToNewMapping) {

140

137

TimedInhibitorArcComponent arc = new TimedInhibitorArcComponent(this);

141

138

arc.setSource(oldToNewMapping.get(this.getSource()));

Older »