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)