Uses of Interface
edu.ksu.cis.projects.bogor.module.backtrack.IBacktrackingInfo

Packages that use IBacktrackingInfo

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.ext.atomicity
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 IBacktrackingInfo in edu.ksu.cis.projects.bogor

Fields in edu.ksu.cis.projects.bogor with type parameters of type IBacktrackingInfo

static Class<IBacktrackingInfo>

IBogorConfiguration.ACTION_DEF_EXT_OP_RETURN_TYPE

Uses of IBacktrackingInfo in edu.ksu.cis.projects.bogor.ext.atomicity

Methods in edu.ksu.cis.projects.bogor.ext.atomicity that return IBacktrackingInfo

IBacktrackingInfo	AtomicModule.beginAtomic(IExtArguments args)
IBacktrackingInfo	AtomicModule.endAtomic(IExtArguments args)

Uses of IBacktrackingInfo in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module with type parameters of type IBacktrackingInfo

protected ArrayList<IBacktrackingInfo>

DefaultSearcher.backtrackingInfos

Methods in edu.ksu.cis.projects.bogor.module that return IBacktrackingInfo

protected IBacktrackingInfo	DefaultSearcher.backtrack(IState state, ArrayList<IBacktrackingInfo> backtrackingInfos)
protected IBacktrackingInfo	DefaultSearcher.backtrackToTransitionBeginning(IState state, ArrayList<IBacktrackingInfo> backtrackingInfos) Rolls back the state to the moment just before the most recent transition.
IBacktrackingInfo	DefaultActionTaker.takeAction(ISchedulingStrategyContext ssc, Action a)
IBacktrackingInfo	IActionTaker.takeAction(ISchedulingStrategyContext ssc, Action a)
IBacktrackingInfo	DefaultActionTaker.takeAssumeAction(AssumeAction a, IIntValue value)
IBacktrackingInfo	IActionTaker.takeAssumeAction(AssumeAction a, IIntValue value)
protected IBacktrackingInfo[]	DefaultTransformer.toArray(ArrayList<IBacktrackingInfo> backtrackingInfos)
IBacktrackingInfo[]	DefaultTransformer.transform(ISchedulingStrategyContext ssc, BlockTransformation t, Action a)
IBacktrackingInfo[]	ITransformer.transform(ISchedulingStrategyContext ssc, BlockTransformation t, Action a)
IBacktrackingInfo[]	DefaultTransformer.transform(ISchedulingStrategyContext ssc, InvokeTransformation t, boolean returned, IValue returnValue)
IBacktrackingInfo[]	ITransformer.transform(ISchedulingStrategyContext ssc, InvokeTransformation t, boolean returned, IValue returnValue)
IBacktrackingInfo[]	DefaultTransformer.transformEnter(InvokeTransformation t)
IBacktrackingInfo[]	ITransformer.transformEnter(InvokeTransformation t)
IBacktrackingInfo[]	DefaultTransformer.transformExit(InvokeTransformation t, IValue returnValue)
IBacktrackingInfo[]	ITransformer.transformExit(InvokeTransformation t, IValue returnValue)
protected IBacktrackingInfo[]	DefaultTransformer.transformNextState(NextState ns, Transformation t)
protected IBacktrackingInfo	DefaultActionTaker.visitAssertAction(AssertAction node)
protected IBacktrackingInfo	DefaultActionTaker.visitAssignAction(AssignAction node)
protected IBacktrackingInfo	DefaultActionTaker.visitAssumeAction(AssumeAction node)
protected IBacktrackingInfo	DefaultActionTaker.visitExpAction(ExpAction node)
protected IBacktrackingInfo	DefaultActionTaker.visitExtExp(ExtExp e)
protected IBacktrackingInfo	DefaultActionTaker.visitLockAction(LockAction node)

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type IBacktrackingInfo

ArrayList<IBacktrackingInfo>	DefaultCounterExampleWriter.GuidedSearcherProxy.getBacktrackingInfos() [Document Pending]
ArrayList<IBacktrackingInfo>	DefaultSearcher.getBacktrackingInfos()
ArrayList<IBacktrackingInfo>	ISearcher.getBacktrackingInfos() Gets the list of backtacking information from the initial state to the current state (last completed transformation).

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

protected void	DefaultSearcher.addAll(ArrayList<IBacktrackingInfo> result, IBacktrackingInfo[] bis)
protected void	DefaultTransformer.addAll(ArrayList<IBacktrackingInfo> result, IBacktrackingInfo[] bis)

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type IBacktrackingInfo

protected void	DefaultSearcher.addAll(ArrayList<IBacktrackingInfo> result, IBacktrackingInfo[] bis)
protected void	DefaultTransformer.addAll(ArrayList<IBacktrackingInfo> result, IBacktrackingInfo[] bis)
protected IBacktrackingInfo	DefaultSearcher.backtrack(IState state, ArrayList<IBacktrackingInfo> backtrackingInfos)
protected IBacktrackingInfo	DefaultSearcher.backtrackToTransitionBeginning(IState state, ArrayList<IBacktrackingInfo> backtrackingInfos) Rolls back the state to the moment just before the most recent transition.
protected void	DefaultSearcher.dumpBacktrackingStack(PrintWriter pw, ArrayList<IBacktrackingInfo> backtrackingInfos)
protected ArrayList<ICounterExampleSchedulingInfo>	DefaultSearcher.extractErrorSchedule(ArrayList<IBacktrackingInfo> backtrackingInfos)
protected void	DefaultSearcher.storeCounterExample(ArrayList<IBacktrackingInfo> backtrackingInfos, int stateId, int invisibleMoves, String reason)
protected IBacktrackingInfo[]	DefaultTransformer.toArray(ArrayList<IBacktrackingInfo> backtrackingInfos)
protected boolean	DefaultTransformer.transformException(Transformation t, ArrayList<IBacktrackingInfo> result)

Uses of IBacktrackingInfo in edu.ksu.cis.projects.bogor.module.backtrack

Subinterfaces of IBacktrackingInfo in edu.ksu.cis.projects.bogor.module.backtrack

interface	IArrayElementBacktrackingInfo
interface	IControlTransferBacktrackingInfo
interface	IEndStateBacktrackingInfo
interface	IEnterFunctionBacktrackingInfo
interface	IExceptionBacktrackingInfo
interface	IExitFunctionBacktrackingInfo
interface	IExitThreadBacktrackingInfo
interface	IFieldBacktrackingInfo
interface	IGlobalBacktrackingInfo
interface	ILocalBacktrackingInfo
interface	ILockBacktrackingInfo
interface	INoChangeBacktrackingInfo
interface	IPostControlTransferBacktrackingInfo
interface	IStartThreadBacktrackingInfo
interface	ITransformationsBacktrackingInfo

Classes in edu.ksu.cis.projects.bogor.module.backtrack that implement IBacktrackingInfo

class

CompoundBacktrackingInfo An aggregator for backtracking actions.

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

IBacktrackingInfo	CompoundBacktrackingInfo.clone(Map<Object,Object> cloneMap)
IBacktrackingInfo	IBacktrackingInfo.clone(Map<Object,Object> cloneMap)

Method parameters in edu.ksu.cis.projects.bogor.module.backtrack with type arguments of type IBacktrackingInfo

static ITransformationsBacktrackingInfo

DefaultBacktrackingInfoFactory.getMostRecentTransformation(ArrayList<IBacktrackingInfo> stack)

Constructor parameters in edu.ksu.cis.projects.bogor.module.backtrack with type arguments of type IBacktrackingInfo

CompoundBacktrackingInfo(Node node, ISchedulingStrategyInfo ssi, int stateId, int threadId, List<IBacktrackingInfo> bis)