public interface WorkspaceUpdaterListener
Modifier and Type | Method and Description |
---|---|
void |
changedUpdateController()
Called when the update controller is changed.
|
void |
changeNumThreads()
Called when the number of threads on an update controller is changed.
|
void |
updatedCouplings(int update)
Called when the couplings are updated.
|
void |
updatingFinished()
Called when workspace "run" ends.
|
void |
updatingStarted()
Called when workspace "run" begins.
|
void |
workspaceUpdated()
Called every time the workspace is updated.
|
void updatedCouplings(int update)
update
- The number of the update.void changedUpdateController()
void changeNumThreads()
void workspaceUpdated()
void updatingStarted()
void updatingFinished()