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

All Superinterfaces:

Disposable, IModule

All Known Implementing Classes:

DefaultBacktrackingInfoFactory

public interface IBacktrackingInfoFactory
extends IModule

Version:

CVS $Revision: 1.11 $ $Date: 2005/06/06 19:15:32 $

Author:

Robby , Matt Hoosier

Method Summary

IArrayElementBacktrackingInfo	createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IControlTransferBacktrackingInfo	createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
IEndStateBacktrackingInfo	createEndStateBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
IEnterFunctionBacktrackingInfo	createEnterFunctionBacktrackingInfo(int stateId, int threadId, InvokeTransformation t, ISchedulingStrategyInfo ssi)
IExceptionBacktrackingInfo	createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)
IExceptionBacktrackingInfo.IExceptionKilledThreadInfo	createExceptionKilledThreadInfo(int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount)
IExitFunctionBacktrackingInfo	createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
IExitThreadBacktrackingInfo	createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
IFieldBacktrackingInfo	createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILockBacktrackingInfo	createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)
INoChangeBacktrackingInfo	createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
IStartThreadBacktrackingInfo	createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)
ITransformationsBacktrackingInfo	createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)

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

createArrayElementBacktrackingInfo

IArrayElementBacktrackingInfo createArrayElementBacktrackingInfo(int stateId,
                                                                 int threadId,
                                                                 Action action,
                                                                 IArrayValue arrayValue,
                                                                 int elementIndex,
                                                                 IValue oldValue,
                                                                 ISchedulingStrategyInfo ssi)

createControlTransferBacktrackingInfo

IControlTransferBacktrackingInfo createControlTransferBacktrackingInfo(int stateId,
                                                                       int threadId,
                                                                       int locDesc,
                                                                       IntObjectTable<IValue> deadLocalValues,
                                                                       Transformation t,
                                                                       ISchedulingStrategyInfo ssi)

createEndStateBacktrackingInfo

IEndStateBacktrackingInfo createEndStateBacktrackingInfo(int stateId,
                                                         int threadId,
                                                         Action action,
                                                         ISchedulingStrategyInfo ssi)

createEnterFunctionBacktrackingInfo

IEnterFunctionBacktrackingInfo createEnterFunctionBacktrackingInfo(int stateId,
                                                                   int threadId,
                                                                   InvokeTransformation t,
                                                                   ISchedulingStrategyInfo ssi)

createExceptionBacktrackingInfo

IExceptionBacktrackingInfo createExceptionBacktrackingInfo(int stateId,
                                                           BogorException throwable,
                                                           Node node,
                                                           int threadId,
                                                           int[] threadLocationStack,
                                                           int[] threadTransformationIndexStack,
                                                           IValueArray[] threadLocalValuesStack,
                                                           int threadLockCount,
                                                           boolean isUncaught,
                                                           ISchedulingStrategyInfo ssi,
                                                           IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)

createExceptionKilledThreadInfo

IExceptionBacktrackingInfo.IExceptionKilledThreadInfo createExceptionKilledThreadInfo(int threadId,
                                                                                      int[] threadLocationStack,
                                                                                      int[] threadTransformationIndexStack,
                                                                                      IValueArray[] threadLocalValuesStack,
                                                                                      int threadLockCount)

createExitFunctionBacktrackingInfo

IExitFunctionBacktrackingInfo createExitFunctionBacktrackingInfo(int stateId,
                                                                 int threadId,
                                                                 int locDesc,
                                                                 int transformationIndex,
                                                                 IValueArray localValues,
                                                                 IValue returnValue,
                                                                 ISchedulingStrategyInfo ssi)

createExitThreadBacktrackingInfo

IExitThreadBacktrackingInfo createExitThreadBacktrackingInfo(int stateId,
                                                             int threadId,
                                                             Action action,
                                                             int[] threadLocationStack,
                                                             int[] threadTransformationIndexStack,
                                                             IValueArray[] threadLocalValuesStack,
                                                             ISchedulingStrategyInfo ssi)

createFieldBacktrackingInfo

IFieldBacktrackingInfo createFieldBacktrackingInfo(int stateId,
                                                   int threadId,
                                                   Action action,
                                                   IRecordValue arrayOrRecordValue,
                                                   int fieldIndex,
                                                   IValue oldValue,
                                                   ISchedulingStrategyInfo ssi)

createGlobalBacktrackingInfo

IGlobalBacktrackingInfo createGlobalBacktrackingInfo(int stateId,
                                                     int threadId,
                                                     Action action,
                                                     int globalIndex,
                                                     IValue oldValue,
                                                     ISchedulingStrategyInfo ssi)

createLocalBacktrackingInfo

ILocalBacktrackingInfo createLocalBacktrackingInfo(int stateId,
                                                   int threadId,
                                                   Node node,
                                                   int localIndex,
                                                   IValue oldValue,
                                                   ISchedulingStrategyInfo ssi)

createLockBacktrackingInfo

ILockBacktrackingInfo createLockBacktrackingInfo(int stateId,
                                                 int threadId,
                                                 Action action,
                                                 LockOp lockOp,
                                                 ILockValue lockValue,
                                                 int owner,
                                                 int lockCounter,
                                                 int[] waiting,
                                                 int[] notification,
                                                 int oldLockCount,
                                                 int notifiedThreadId,
                                                 ISchedulingStrategyInfo ssi)

createNoChangeBacktrackingInfo

INoChangeBacktrackingInfo createNoChangeBacktrackingInfo(int stateId,
                                                         int threadId,
                                                         Action action,
                                                         ISchedulingStrategyInfo ssi)

createStartThreadBacktrackingInfo

IStartThreadBacktrackingInfo createStartThreadBacktrackingInfo(int stateId,
                                                               int threadId,
                                                               int startedThreadId,
                                                               int oldThreadIdSeed,
                                                               Action action,
                                                               ISchedulingStrategyInfo ssi)

createTransformationsBacktrackingInfo

ITransformationsBacktrackingInfo createTransformationsBacktrackingInfo(int stateId,
                                                                       int invisibleMoves,
                                                                       int threadId,
                                                                       int[] threadIds,
                                                                       int threadIndex,
                                                                       int lastMovedThreadId,
                                                                       Transformation[] transformations,
                                                                       int selectedIndex,
                                                                       boolean isInvisible,
                                                                       ISchedulingStrategyInfo ssi)