Package wprover

Interface DiagramUpdater

  • All Known Implementing Classes:
    NumCheckDialog

    public interface DiagramUpdater
    DiagramUpdater is an interface that defines a method for updating a diagram. Implementing classes should provide the specific implementation of the UpdateDiagram method.
    • Method Detail

      • UpdateDiagram

        void UpdateDiagram()
        Updates the diagram. This method should be implemented to provide the specific logic for updating the diagram.