Uses of Interface
edu.ksu.cis.projects.bogor.module.backtrack.IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

Packages that use IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.

Uses of IExceptionBacktrackingInfo.IExceptionKilledThreadInfo in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

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

Methods in edu.ksu.cis.projects.bogor.module with parameters of type IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

IExceptionBacktrackingInfo

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

Uses of IExceptionBacktrackingInfo.IExceptionKilledThreadInfo in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

IExceptionBacktrackingInfo.IExceptionKilledThreadInfo	IExceptionBacktrackingInfo.IExceptionKilledThreadInfo.clone(Map<Object,Object> cloneMap)
IExceptionBacktrackingInfo.IExceptionKilledThreadInfo	DefaultBacktrackingInfoFactory.createExceptionKilledThreadInfo(int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount)
IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[]	IExceptionBacktrackingInfo.getAdditionallyKilledThreads() Wrapper for data to reconstruct a thread (other than the exception-raising thread given by getThreadId) killed in the case of an uncaught exception (isUncaught() == true).

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IExceptionBacktrackingInfo.IExceptionKilledThreadInfo

IExceptionBacktrackingInfo

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