edu.ksu.cis.projects.bogor.module
Interface IProgressManager

All Superinterfaces:

Disposable, IModule

All Known Implementing Classes:

AbstractProgressManager, DefaultCounterExampleWriter.DummyProgressManager

public interface IProgressManager
extends IModule

Version:

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

Author:

Robby , Matt Hoosier

Method Summary

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()
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 interface edu.ksu.cis.projects.bogor.module.IModule

connect, getCopyrightNotice, setOptions

Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable

dispose

Method Detail

isDone

boolean isDone()

getErrors

int getErrors()

getMatchedStates

int getMatchedStates()

getStates

int getStates()

getTime

long getTime()

getTransitions

long getTransitions()

shouldTerminate

boolean shouldTerminate()

terminate

void terminate()

getCurrentDepth

long getCurrentDepth()

getMaxDepth

long getMaxDepth()

update

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

hasInvalidEndState

boolean hasInvalidEndState()

hasAssertionFailure

boolean hasAssertionFailure()

wasOutOfMemory

boolean wasOutOfMemory()

hasIllFormedModel

boolean hasIllFormedModel()

hasRangeException

boolean hasRangeException()

hasInvariantViolation

boolean hasInvariantViolation()

hasExtFailure

boolean hasExtFailure()

hasUncaughtException

boolean hasUncaughtException()

wasMaxDepthReached

boolean wasMaxDepthReached()

signalInvalidEndState

void signalInvalidEndState()

signalAssertionFailure

void signalAssertionFailure()

signalOutOfMemory

void signalOutOfMemory()

signalIllFormedModel

void signalIllFormedModel()

signalRangeException

void signalRangeException()

signalInvariantViolation

void signalInvariantViolation()

signalExtFailure

void signalExtFailure()

signalUncaughtException

void signalUncaughtException()

signalMaxDepthReached

void signalMaxDepthReached()