- All Implemented Interfaces:
- ProverTaskListener
- Direct Known Subclasses:
- ProofMacro.ProgressBarListener
public class ProofMacroListener
extends Object
implements ProverTaskListener
Listener for the application of proof macros (which may be run in
a separate worker thread). They work in a mutual way by also storing
a reference to the superordinate listener on the level above.
Additionally, an integer for remembering how many proof macros have
been invoked by the according macro is stored. This integer is especially
important in console mode in order to know when to finish batch mode.
In GUI mode, the proof macro names are being displayed in the status bar.
- Author:
- Michael Kirsten