edu.ksu.cis.projects.bogor.module
Class DefaultCounterExampleWriter.DummyProgressManager

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

All Implemented Interfaces:

IModule, IProgressManager, Disposable

Enclosing class:

DefaultCounterExampleWriter

protected class DefaultCounterExampleWriter.DummyProgressManager
extends AbstractProgressManager

[Document Pending]

Version:

CVS $Revision: 1.44 $ $Date: 2005/06/09 00:22:01 $

Author:

$author$

Field Summary

Fields inherited from class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

currentDepth, errors, hasAssertionFailure, hasExtFailure, hasIllFormedModel, hasInvalidEndState, hasInvariantViolation, hasRangeException, hasUncaughtException, isDone, matchedStates, maxDepth, shouldTerminate, states, time, transitions, wasMaxDepthReached, wasOutOfMemory

Constructor Summary

protected

DefaultCounterExampleWriter.DummyProgressManager()

Method Summary

Methods inherited from class edu.ksu.cis.projects.bogor.module.AbstractProgressManager

connect, dispose, getCopyrightNotice, getCurrentDepth, getErrors, getMatchedStates, getMaxDepth, getStates, getTime, getTransitions, hasAssertionFailure, hasExtFailure, hasIllFormedModel, hasInvalidEndState, hasInvariantViolation, hasRangeException, hasUncaughtException, isDone, setOptions, shouldTerminate, signalAssertionFailure, signalExtFailure, signalIllFormedModel, signalInvalidEndState, signalInvariantViolation, signalMaxDepthReached, signalOutOfMemory, signalRangeException, signalUncaughtException, terminate, update, wasMaxDepthReached, wasOutOfMemory

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultCounterExampleWriter.DummyProgressManager

protected DefaultCounterExampleWriter.DummyProgressManager()