@Test public void deleteComponentRemovesFromPetriNet() throws PetriNetComponentException { Place place = new DiscretePlace("", ""); net.addPlace(place); controller.delete(place); assertFalse("Petrinet contains place after deletion", net.getPlaces().contains(place)); }
public UndoableEdit delete(PetriNetComponent component) throws PetriNetComponentException { return deleteComponent(component); }
PetriNetController implements Serializable { public UndoableEdit delete(PetriNetComponent component) throws PetriNetComponentException { return deleteComponent(component); } }
PetriNetController implements Serializable { public UndoableEdit delete(PetriNetComponent component) throws PetriNetComponentException { return deleteComponent(component); } PetriNetController(PetriNet model, UndoableEditListener undoListener, GUIAnimator animator,
                              CopyPasteManager copyPasteManager, ZoomController zoomController,
                              PetriNetTab petriNetTab); }
PetriNetController implements Serializable { public UndoableEdit delete(PetriNetComponent component) throws PetriNetComponentException { return deleteComponent(component); } PetriNetController(PetriNet model, UndoableEditListener undoListener, GUIAnimator animator,
                              CopyPasteManager copyPasteManager, ZoomController zoomController,
                              PetriNetTab petriNetTab); PetriNetTab getPetriNetTab(); String getUniquePlaceName(); String getUniqueTransitionName(); boolean isSelected(PetriNetComponent component); void deselect(PetriNetComponent component); void deselectAll(); void translateSelected(Point translation); void select(Rectangle selectionRectangle); void select(PetriNetComponent component); List<UndoableEdit> deleteSelection(); UndoableEdit delete(PetriNetComponent component); void createNewToken(String name, Color color); Collection<Token> getNetTokens(); void updateToken(String currentTokenName, String name, Color color); PetriNet getPetriNet(); ArcController<S, T> getArcController(Arc<S, T> arc); PlaceController getPlaceController(Place place); AnnotationController getAnnotationController(Annotation annotation); TransitionController getTransitionController(final Transition transition); RateParameterController getRateParameterController(final String rateParameter); void selectToken(String tokenName); Token getToken(String name); void copySelection(); boolean isCopyInProgress(); void cancelPaste(); String getSelectedToken(); GUIAnimator getAnimator(); ZoomController getZoomController(); void paste(); DragManager getDragManager(); Collection<RateParameter> getRateParameters(); boolean isUniqueName(String id); boolean hasChanged(); void save(); FunctionalResults<Double> parseFunctionalExpression(String expr); UndoManager getUndoManager(); Set<PetriNetComponent> getSelectedComponents(); UndoableEditListener getUndoListener(); boolean toggleAnimation(); boolean isInAnimationMode(); SelectionManager getSelectionManager(); }
PetriNetController implements Serializable { public UndoableEdit delete(PetriNetComponent component) throws PetriNetComponentException { return deleteComponent(component); } PetriNetController(PetriNet model, UndoableEditListener undoListener, GUIAnimator animator,
                              CopyPasteManager copyPasteManager, ZoomController zoomController,
                              PetriNetTab petriNetTab); PetriNetTab getPetriNetTab(); String getUniquePlaceName(); String getUniqueTransitionName(); boolean isSelected(PetriNetComponent component); void deselect(PetriNetComponent component); void deselectAll(); void translateSelected(Point translation); void select(Rectangle selectionRectangle); void select(PetriNetComponent component); List<UndoableEdit> deleteSelection(); UndoableEdit delete(PetriNetComponent component); void createNewToken(String name, Color color); Collection<Token> getNetTokens(); void updateToken(String currentTokenName, String name, Color color); PetriNet getPetriNet(); ArcController<S, T> getArcController(Arc<S, T> arc); PlaceController getPlaceController(Place place); AnnotationController getAnnotationController(Annotation annotation); TransitionController getTransitionController(final Transition transition); RateParameterController getRateParameterController(final String rateParameter); void selectToken(String tokenName); Token getToken(String name); void copySelection(); boolean isCopyInProgress(); void cancelPaste(); String getSelectedToken(); GUIAnimator getAnimator(); ZoomController getZoomController(); void paste(); DragManager getDragManager(); Collection<RateParameter> getRateParameters(); boolean isUniqueName(String id); boolean hasChanged(); void save(); FunctionalResults<Double> parseFunctionalExpression(String expr); UndoManager getUndoManager(); Set<PetriNetComponent> getSelectedComponents(); UndoableEditListener getUndoListener(); boolean toggleAnimation(); boolean isInAnimationMode(); SelectionManager getSelectionManager();  }