private final class KeYMediator.KeYMediatorProofListener extends java.lang.Object implements RuleAppListener, AutoModeListener
Modifier | Constructor and Description |
---|---|
private |
KeYMediatorProofListener() |
Modifier and Type | Method and Description |
---|---|
void |
autoModeStarted(ProofEvent e)
invoked if automatic execution has started
|
void |
autoModeStopped(ProofEvent e)
invoked if automatic execution has stopped
|
void |
ruleApplied(ProofEvent e)
invoked when a rule has been applied
|
public void ruleApplied(ProofEvent e)
ruleApplied
in interface RuleAppListener
public void autoModeStarted(ProofEvent e)
autoModeStarted
in interface AutoModeListener
public void autoModeStopped(ProofEvent e)
autoModeStopped
in interface AutoModeListener