mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-15 07:48:29 -04:00
added some documentation
This commit is contained in:
parent
8858754df5
commit
9c3324752d
@ -1,8 +1,16 @@
|
||||
package de.neemann.digital.gui;
|
||||
|
||||
/**
|
||||
* Interface used to stop the model.
|
||||
*
|
||||
* @author hneemann
|
||||
*/
|
||||
public interface ErrorStopper {
|
||||
/**
|
||||
* Called to stop the mode
|
||||
*
|
||||
* @param message the message
|
||||
* @param cause the cause
|
||||
*/
|
||||
void showErrorAndStopModel(String message, Exception cause);
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user