LemmataHandler.Listener (KeY API Documentation)

private class LemmataHandler.Listener
extends Object
implements ProblemInitializer.ProblemInitializerListener

Constructors
Modifier	Constructor and Description
`private`	`Listener()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`progressStarted(Object sender)`
`void`	`progressStopped(Object sender)`
`void`	`proofCreated(ProblemInitializer sender, ProofAggregate proofAggregate)`
`void`	`reportException(Object sender, ProofOblInput input, Exception e)`
`void`	`reportStatus(Object sender, String status)`
`void`	`reportStatus(Object sender, String status, int progress)`
`void`	`resetStatus(Object sender)`

public void proofCreated(ProblemInitializer sender,
                         ProofAggregate proofAggregate)

Specified by:: proofCreated in interface ProblemInitializer.ProblemInitializerListener

public void reportStatus(Object sender,
                         String status,
                         int progress)

Specified by:: reportStatus in interface ProblemInitializer.ProblemInitializerListener

public void reportStatus(Object sender,
                         String status)

Specified by:: reportStatus in interface ProblemInitializer.ProblemInitializerListener

public void reportException(Object sender,
                            ProofOblInput input,
                            Exception e)

Specified by:: reportException in interface ProblemInitializer.ProblemInitializerListener

Class LemmataHandler.Listener