edu.ksu.cis.projects.bogor.module
Class AbstractProgressManager

java.lang.Object
  edu.ksu.cis.projects.bogor.module.AbstractProgressManager

All Implemented Interfaces:

IModule, IProgressManager, Disposable

Direct Known Subclasses:

DefaultCounterExampleWriter.DummyProgressManager

public abstract class AbstractProgressManager
extends Object
implements IProgressManager

Version:

CVS $Revision: 1.7 $ $Date: 2005/01/26 15:38:57 $

Author:

Robby , Matt Hoosier

Field Summary

protected long	currentDepth
protected int	errors
protected boolean	hasAssertionFailure
protected boolean	hasExtFailure
protected boolean	hasIllFormedModel
protected boolean	hasInvalidEndState
protected boolean	hasInvariantViolation
protected boolean	hasRangeException
protected boolean	hasUncaughtException
protected boolean	isDone
protected int	matchedStates
protected long	maxDepth
protected boolean	shouldTerminate
protected int	states
protected long	time
protected long	transitions
protected boolean	wasMaxDepthReached
protected boolean	wasOutOfMemory

Constructor Summary

AbstractProgressManager()

Method Summary

IMessageStore	connect(IBogorConfiguration bc) Connects this modules to other modules.
void	dispose() Remove references.
String	getCopyrightNotice() Returns the copyright notice for this module.
long	getCurrentDepth()
int	getErrors()
int	getMatchedStates()
long	getMaxDepth()
int	getStates()
long	getTime()
long	getTransitions()
boolean	hasAssertionFailure()
boolean	hasExtFailure()
boolean	hasIllFormedModel()
boolean	hasInvalidEndState()
boolean	hasInvariantViolation()
boolean	hasRangeException()
boolean	hasUncaughtException()
boolean	isDone()
IMessageStore	setOptions(String key, Properties configuration) Sets the options for this module.
boolean	shouldTerminate()
void	signalAssertionFailure()
void	signalExtFailure()
void	signalIllFormedModel()
void	signalInvalidEndState()
void	signalInvariantViolation()
void	signalMaxDepthReached()
void	signalOutOfMemory()
void	signalRangeException()
void	signalUncaughtException()
void	terminate()
void	update(long transitions, int states, int matchedStates, long currentDepth, long maxDepth, int errors, long time, boolean isDone)
boolean	wasMaxDepthReached()
boolean	wasOutOfMemory()

Methods inherited from class java.lang.Object

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

Field Detail

shouldTerminate

protected boolean shouldTerminate

isDone

protected boolean isDone

transitions

protected long transitions

states

protected int states

matchedStates

protected int matchedStates

currentDepth

protected long currentDepth

maxDepth

protected long maxDepth

errors

protected int errors

time

protected long time

hasInvalidEndState

protected boolean hasInvalidEndState

hasAssertionFailure

protected boolean hasAssertionFailure

wasOutOfMemory

protected boolean wasOutOfMemory

hasIllFormedModel

protected boolean hasIllFormedModel

hasRangeException

protected boolean hasRangeException

hasInvariantViolation

protected boolean hasInvariantViolation

hasExtFailure

protected boolean hasExtFailure

hasUncaughtException

protected boolean hasUncaughtException

wasMaxDepthReached

protected boolean wasMaxDepthReached

Constructor Detail

AbstractProgressManager

public AbstractProgressManager()

Method Detail

getCopyrightNotice

public String getCopyrightNotice()

Description copied from interface: IModule

Returns the copyright notice for this module.

Specified by:

getCopyrightNotice in interface IModule

Returns:

The copyright notice for this module. Returns null if no additional notice is necessary.

isDone

public boolean isDone()

Specified by:

isDone in interface IProgressManager

getErrors

public int getErrors()

Specified by:

getErrors in interface IProgressManager

getMatchedStates

public int getMatchedStates()

Specified by:

getMatchedStates in interface IProgressManager

getCurrentDepth

public long getCurrentDepth()

Specified by:

getCurrentDepth in interface IProgressManager

getMaxDepth

public long getMaxDepth()

Specified by:

getMaxDepth in interface IProgressManager

setOptions

public IMessageStore setOptions(String key,
                                Properties configuration)

Description copied from interface: IModule

Sets the options for this module.

Specified by:

setOptions in interface IModule

Parameters:

key - The key (prefix) for this module options. Must be non-null. The key is used for module specific options.

configuration - The options for all modules. Must be non-null.

getStates

public int getStates()

Specified by:

getStates in interface IProgressManager

getTime

public long getTime()

Specified by:

getTime in interface IProgressManager

getTransitions

public long getTransitions()

Specified by:

getTransitions in interface IProgressManager

connect

public IMessageStore connect(IBogorConfiguration bc)

Description copied from interface: IModule

Connects this modules to other modules.

Specified by:

connect in interface IModule

Parameters:

bc - The Bogor configuration containing modules to connect to. Must be non-null.

dispose

public void dispose()

Description copied from interface: Disposable

Remove references. Once called, avoid using this object.

Specified by:

dispose in interface Disposable

hasAssertionFailure

public boolean hasAssertionFailure()

Specified by:

hasAssertionFailure in interface IProgressManager

hasExtFailure

public boolean hasExtFailure()

Specified by:

hasExtFailure in interface IProgressManager

hasIllFormedModel

public boolean hasIllFormedModel()

Specified by:

hasIllFormedModel in interface IProgressManager

hasInvalidEndState

public boolean hasInvalidEndState()

Specified by:

hasInvalidEndState in interface IProgressManager

hasInvariantViolation

public boolean hasInvariantViolation()

Specified by:

hasInvariantViolation in interface IProgressManager

hasRangeException

public boolean hasRangeException()

Specified by:

hasRangeException in interface IProgressManager

hasUncaughtException

public boolean hasUncaughtException()

Specified by:

hasUncaughtException in interface IProgressManager

shouldTerminate

public boolean shouldTerminate()

Specified by:

shouldTerminate in interface IProgressManager

signalAssertionFailure

public void signalAssertionFailure()

Specified by:

signalAssertionFailure in interface IProgressManager

signalExtFailure

public void signalExtFailure()

Specified by:

signalExtFailure in interface IProgressManager

signalIllFormedModel

public void signalIllFormedModel()

Specified by:

signalIllFormedModel in interface IProgressManager

signalInvalidEndState

public void signalInvalidEndState()

Specified by:

signalInvalidEndState in interface IProgressManager

signalInvariantViolation

public void signalInvariantViolation()

Specified by:

signalInvariantViolation in interface IProgressManager

signalMaxDepthReached

public void signalMaxDepthReached()

Specified by:

signalMaxDepthReached in interface IProgressManager

signalOutOfMemory

public void signalOutOfMemory()

Specified by:

signalOutOfMemory in interface IProgressManager

signalRangeException

public void signalRangeException()

Specified by:

signalRangeException in interface IProgressManager

signalUncaughtException

public void signalUncaughtException()

Specified by:

signalUncaughtException in interface IProgressManager

terminate

public void terminate()

Specified by:

terminate in interface IProgressManager

update

public void update(long transitions,
                   int states,
                   int matchedStates,
                   long currentDepth,
                   long maxDepth,
                   int errors,
                   long time,
                   boolean isDone)

Specified by:

update in interface IProgressManager

wasMaxDepthReached

public boolean wasMaxDepthReached()

Specified by:

wasMaxDepthReached in interface IProgressManager

wasOutOfMemory

public boolean wasOutOfMemory()

Specified by:

wasOutOfMemory in interface IProgressManager