17
17
private final String oldName;
18
18
private final TimedArcPetriNet tapn;
19
19
private SharedPlacesAndTransitionsPanel sharedPanel;
21
public MakeTransitionNewSharedCommand(TimedArcPetriNet tapn, String newName, TimedTransition timedTransition, TabContent tabContent){
22
public MakeTransitionNewSharedCommand(TimedArcPetriNet tapn, String newName, TimedTransition timedTransition, TabContent tabContent, boolean multiShare){
22
23
this.sharedTransition = null;
24
25
this.timedTransition = timedTransition;
26
27
this.oldName = timedTransition.name();
27
28
this.sharedPanel = tabContent.getSharedPlacesAndTransitionsPanel();