public interface InterpreterListener
| Modifier and Type | Method and Description |
|---|---|
void |
beendet(UdaInterpreter interpreter)
die Ausführung des übergebenen Interpreters wurde beendet.
|
void beendet(UdaInterpreter interpreter)
interpreter - der Interpreter