de.uka.ilkd.key.prover.impl

Class AbstractProverCore

java.lang.Object

de.uka.ilkd.key.prover.impl.AbstractProverCore

All Implemented Interfaces:

ProverCore

Direct Known Subclasses:

ApplyStrategy

public abstract class AbstractProverCore
extends java.lang.Object
implements ProverCore

Common class for provers which takes care of listener registration and task event propagation

Author:

Richard Bubel

Field Summary

Fields

Modifier and Type	Field and Description
protected int	countApplied number of rules automatically applied
private ImmutableList<ProverTaskListener>	proverTaskObservers We use an immutable list to store listeners to allow for addition/removal within listener code without causing a deadlock

Fields inherited from interface de.uka.ilkd.key.prover.ProverCore

PROCESSING_STRATEGY

Constructor Summary

Constructors

Constructor and Description
AbstractProverCore()

Method Summary

Modifier and Type	Method and Description
void	addProverTaskObserver(ProverTaskListener observer) adds a listener to the prover
protected void	fireTaskFinished(TaskFinishedInfo info) propagation method for the event that a task has finished
protected void	fireTaskProgress() propagation of task progress information to be displayed e.g. in a progress bar
protected void	fireTaskStarted(int maxSteps) propagation method for the event that a task started
void	removeProverTaskObserver(ProverTaskListener observer) removes a listener from the prover

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.prover.ProverCore

clear, hasBeenInterrupted, start, start, start, start

Field Detail

countApplied

protected int countApplied

number of rules automatically applied

proverTaskObservers

private ImmutableList<ProverTaskListener> proverTaskObservers

We use an immutable list to store listeners to allow for addition/removal within listener code without causing a deadlock

Constructor Detail

AbstractProverCore

public AbstractProverCore()

Method Detail

fireTaskStarted

protected void fireTaskStarted(int maxSteps)

propagation method for the event that a task started

Parameters:

maxSteps - an int with the maximal number of steps to be performed by the current task

fireTaskProgress

protected void fireTaskProgress()

propagation of task progress information to be displayed e.g. in a progress bar

fireTaskFinished

protected void fireTaskFinished(TaskFinishedInfo info)

propagation method for the event that a task has finished

Parameters:

info - an information object about the work done by the task e.g. number of applied rules

addProverTaskObserver

public void addProverTaskObserver(ProverTaskListener observer)

adds a listener to the prover

Specified by:

addProverTaskObserver in interface ProverCore

Parameters:

observer - the listener

removeProverTaskObserver

public void removeProverTaskObserver(ProverTaskListener observer)

removes a listener from the prover

Specified by:

removeProverTaskObserver in interface ProverCore

Parameters:

observer - the listener