Package wprover
Interface DiagramUpdater
-
- All Known Implementing Classes:
NumCheckDialog
public interface DiagramUpdaterDiagramUpdater is an interface that defines a method for updating a diagram. Implementing classes should provide the specific implementation of the UpdateDiagram method.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidUpdateDiagram()Updates the diagram.
-