Class RemoveElementCommand

java.lang.Object
com.uppaal.model.core2.AbstractCommand
com.uppaal.model.core2.RemoveElementCommand
All Implemented Interfaces:
Command

public class RemoveElementCommand
extends AbstractCommand
The remove element command
  • Field Details

  • Constructor Details

  • Method Details

    • execute

      public void execute()
    • undo

      public void undo()
    • getModifiedElement

      public Element getModifiedElement()
      Returns:
      the modified element or its closest relative (sibling or parent) if the element is not displayed.