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

All Superinterfaces:

Disposable, IModule

All Known Implementing Classes:

DefaultActionTaker

public interface IActionTaker
extends IModule

Version:

CVS $Revision: 1.5 $ $Date: 2005/02/13 01:37:34 $

Author:

Robby

Method Summary

void	setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
void	setWrittenFieldsTable(Map<IRecordValue,IntSet> writeFieldsTable) Deprecated. use event framework instead
void	setWrittenGlobalSet(IntSet writtenGlobals) Deprecated. use event framework instead
void	setWrittenValueSet(Set<IValue> writtenValues) Deprecated. use event framework instead
IBacktrackingInfo	takeAction(ISchedulingStrategyContext ssc, Action a)
INoChangeBacktrackingInfo	takeAssertAction(AssertAction a, IIntValue value)
IArrayElementBacktrackingInfo	takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)
IFieldBacktrackingInfo	takeAssignFieldAction(AssignAction a, IRecordValue record, int fieldIndex, IValue value)
IGlobalBacktrackingInfo	takeAssignGlobalAction(AssignAction a, int globalIndex, IValue value)
ILocalBacktrackingInfo	takeAssignLocalAction(AssignAction a, int localIndex, IValue value)
IBacktrackingInfo	takeAssumeAction(AssumeAction a, IIntValue value)
IExitThreadBacktrackingInfo	takeExitThreadAction(ExitThreadAction a)
ILockBacktrackingInfo	takeLockAction(LockAction a, ILockValue value)
INoChangeBacktrackingInfo	takePrintAction(PrintAction a)
IStartThreadBacktrackingInfo	takeStartThreadAction(StartThreadExp e)
void	takeThrowAction(ThrowAction a, IRecordValue value)
void	unsetSchedulingStrategyContextInfo()

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

setSchedulingStrategyContextInfo

void setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
                                      ISchedulingStrategyInfo ssi)

setWrittenFieldsTable

void setWrittenFieldsTable(Map<IRecordValue,IntSet> writeFieldsTable)

Deprecated. use event framework instead

setWrittenGlobalSet

void setWrittenGlobalSet(IntSet writtenGlobals)

Deprecated. use event framework instead

setWrittenValueSet

void setWrittenValueSet(Set<IValue> writtenValues)

Deprecated. use event framework instead

takeAction

IBacktrackingInfo takeAction(ISchedulingStrategyContext ssc,
                             Action a)

takeAssertAction

INoChangeBacktrackingInfo takeAssertAction(AssertAction a,
                                           IIntValue value)

takeAssignArrayElementAction

IArrayElementBacktrackingInfo takeAssignArrayElementAction(AssignAction a,
                                                           IArrayValue array,
                                                           int elementIndex,
                                                           IValue value)

takeAssignFieldAction

IFieldBacktrackingInfo takeAssignFieldAction(AssignAction a,
                                             IRecordValue record,
                                             int fieldIndex,
                                             IValue value)

takeAssignGlobalAction

IGlobalBacktrackingInfo takeAssignGlobalAction(AssignAction a,
                                               int globalIndex,
                                               IValue value)

takeAssignLocalAction

ILocalBacktrackingInfo takeAssignLocalAction(AssignAction a,
                                             int localIndex,
                                             IValue value)

takeAssumeAction

IBacktrackingInfo takeAssumeAction(AssumeAction a,
                                   IIntValue value)

takeExitThreadAction

IExitThreadBacktrackingInfo takeExitThreadAction(ExitThreadAction a)

takeLockAction

ILockBacktrackingInfo takeLockAction(LockAction a,
                                     ILockValue value)

takePrintAction

INoChangeBacktrackingInfo takePrintAction(PrintAction a)

takeStartThreadAction

IStartThreadBacktrackingInfo takeStartThreadAction(StartThreadExp e)

takeThrowAction

void takeThrowAction(ThrowAction a,
                     IRecordValue value)

unsetSchedulingStrategyContextInfo

void unsetSchedulingStrategyContextInfo()