@Test public void setInfiniteServerCreatesHistoryItem() { boolean isInfinite = true; controller.setInfiniteServer(isInfinite); UndoableEdit transitionInfiniteServer = new TransitionInfiniteServer(transition, isInfinite); verify(listener).undoableEditHappened(argThat(Contains.thisAction(transitionInfiniteServer))); }
public void setInfiniteServer(boolean infiniteValue) { component.setInfiniteServer(infiniteValue); UndoableEdit infiniteAction = new TransitionInfiniteServer(component, infiniteValue); registerUndoableEdit(infiniteAction); }
TransitionController extends AbstractConnectableController<Transition> { public void setInfiniteServer(boolean infiniteValue) { component.setInfiniteServer(infiniteValue); UndoableEdit infiniteAction = new TransitionInfiniteServer(component, infiniteValue); registerUndoableEdit(infiniteAction); } }
TransitionController extends AbstractConnectableController<Transition> { public void setInfiniteServer(boolean infiniteValue) { component.setInfiniteServer(infiniteValue); UndoableEdit infiniteAction = new TransitionInfiniteServer(component, infiniteValue); registerUndoableEdit(infiniteAction); } protected  TransitionController(Transition component, UndoableEditListener listener); }
TransitionController extends AbstractConnectableController<Transition> { public void setInfiniteServer(boolean infiniteValue) { component.setInfiniteServer(infiniteValue); UndoableEdit infiniteAction = new TransitionInfiniteServer(component, infiniteValue); registerUndoableEdit(infiniteAction); } protected  TransitionController(Transition component, UndoableEditListener listener); boolean isTimed(); void setTimed(boolean timedValue); boolean isInfiniteServer(); void setInfiniteServer(boolean infiniteValue); String getName(); String getRateExpr(); int getPriority(); void setPriority(int priorityValue); int getAngle(); void setAngle(int angle); Collection<Arc<Place, Transition>> inboundArcs(); Rate getRate(); void setRate(Rate rate); }
TransitionController extends AbstractConnectableController<Transition> { public void setInfiniteServer(boolean infiniteValue) { component.setInfiniteServer(infiniteValue); UndoableEdit infiniteAction = new TransitionInfiniteServer(component, infiniteValue); registerUndoableEdit(infiniteAction); } protected  TransitionController(Transition component, UndoableEditListener listener); boolean isTimed(); void setTimed(boolean timedValue); boolean isInfiniteServer(); void setInfiniteServer(boolean infiniteValue); String getName(); String getRateExpr(); int getPriority(); void setPriority(int priorityValue); int getAngle(); void setAngle(int angle); Collection<Arc<Place, Transition>> inboundArcs(); Rate getRate(); void setRate(Rate rate);  }