|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ISchedulingStrategyInfo | |
---|---|
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 ISchedulingStrategyInfo in edu.ksu.cis.projects.bogor.module |
---|
Classes in edu.ksu.cis.projects.bogor.module that implement ISchedulingStrategyInfo | |
---|---|
protected class |
DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo
|
Fields in edu.ksu.cis.projects.bogor.module declared as ISchedulingStrategyInfo | |
---|---|
protected ISchedulingStrategyInfo |
DefaultActionTaker.ssi
|
protected ISchedulingStrategyInfo |
DefaultExpEvaluator.ssi
|
Methods in edu.ksu.cis.projects.bogor.module that return ISchedulingStrategyInfo | |
---|---|
ISchedulingStrategyInfo |
DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo.clone(Map<Object,Object> cloneMap)
|
ISchedulingStrategyInfo |
ISchedulingStrategyInfo.clone(Map<Object,Object> cloneMap)
|
ISchedulingStrategyInfo |
IExtArguments.getSchedulingStrategyInfo()
|
ISchedulingStrategyInfo |
DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.newStrategyInfo()
[Document Pending] |
ISchedulingStrategyInfo |
DefaultSchedulingStrategist.newStrategyInfo()
|
ISchedulingStrategyInfo |
ISchedulingStrategist.newStrategyInfo()
Construct a scheduling context information records appropriate to the currently-used schedule module. |
Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type ISchedulingStrategyInfo | |
---|---|
Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> |
DefaultExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
ISchedulingStrategyInfo ssi)
|
Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> |
IExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
ISchedulingStrategyInfo ssi)
|
Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> |
DefaultExpEvaluator.unsetSchedulingStrategyContextInfo()
|
Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> |
IExpEvaluator.unsetSchedulingStrategyContextInfo()
|
Methods in edu.ksu.cis.projects.bogor.module with parameters of type ISchedulingStrategyInfo | |
---|---|
int |
DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(int extDesc,
Node node,
IValue[] choices,
ISchedulingStrategyInfo ssi)
[Document Pending] |
int |
DefaultSchedulingStrategist.advise(int extDesc,
Node node,
IValue[] choices,
ISchedulingStrategyInfo ssi)
|
int |
ISchedulingStrategist.advise(int extDesc,
Node node,
IValue[] choices,
ISchedulingStrategyInfo ssi)
Choose among several possible values for an expression. |
int |
DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(ISchedulingStrategyContext ssc,
int[] threadIds,
Transformation[] transformations,
ISchedulingStrategyInfo ssi)
[Document Pending] |
int |
DefaultSchedulingStrategist.advise(ISchedulingStrategyContext ssc,
int[] threadIds,
Transformation[] transformations,
ISchedulingStrategyInfo ssi)
|
int |
ISchedulingStrategist.advise(ISchedulingStrategyContext ssc,
int[] threadIds,
Transformation[] transformations,
ISchedulingStrategyInfo ssi)
Choose among several enabled transformations at the beginning of a step. |
int |
DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(ISchedulingStrategyContext ssc,
Transformation[] transformations,
ISchedulingStrategyInfo ssi)
|
int |
DefaultSchedulingStrategist.advise(ISchedulingStrategyContext ssc,
Transformation[] transformations,
ISchedulingStrategyInfo ssi)
|
int |
ISchedulingStrategist.advise(ISchedulingStrategyContext ssc,
Transformation[] transformations,
ISchedulingStrategyInfo ssi)
Choose among non-deterministic transformations to take immediately following the control of transfer from one FSM location to another. |
IArrayElementBacktrackingInfo |
IBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId,
int threadId,
Action action,
IArrayValue arrayValue,
int elementIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
IControlTransferBacktrackingInfo |
IBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId,
int threadId,
int locDesc,
IntObjectTable<IValue> deadLocalValues,
Transformation t,
ISchedulingStrategyInfo ssi)
|
IEndStateBacktrackingInfo |
IBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId,
int threadId,
Action action,
ISchedulingStrategyInfo ssi)
|
IEnterFunctionBacktrackingInfo |
IBacktrackingInfoFactory.createEnterFunctionBacktrackingInfo(int stateId,
int threadId,
InvokeTransformation t,
ISchedulingStrategyInfo ssi)
|
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)
|
IExitFunctionBacktrackingInfo |
IBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId,
int threadId,
int locDesc,
int transformationIndex,
IValueArray localValues,
IValue returnValue,
ISchedulingStrategyInfo ssi)
|
IExitThreadBacktrackingInfo |
IBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId,
int threadId,
Action action,
int[] threadLocationStack,
int[] threadTransformationIndexStack,
IValueArray[] threadLocalValuesStack,
ISchedulingStrategyInfo ssi)
|
IFieldBacktrackingInfo |
IBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId,
int threadId,
Action action,
IRecordValue arrayOrRecordValue,
int fieldIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
IBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
IBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILockBacktrackingInfo |
IBacktrackingInfoFactory.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 |
IBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId,
int threadId,
Action action,
ISchedulingStrategyInfo ssi)
|
IStartThreadBacktrackingInfo |
IBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId,
int threadId,
int startedThreadId,
int oldThreadIdSeed,
Action action,
ISchedulingStrategyInfo ssi)
|
ITransformationsBacktrackingInfo |
IBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId,
int invisibleMoves,
int threadId,
int[] threadIds,
int threadIndex,
int lastMovedThreadId,
Transformation[] transformations,
int selectedIndex,
boolean isInvisible,
ISchedulingStrategyInfo ssi)
|
protected void |
DefaultSearcher.doPostTransformationBookkeeping(int lastMovedThreadId,
ISchedulingStrategyInfo ssi)
|
IValue |
DefaultExpEvaluator.evaluate(ISchedulingStrategyContext ssc,
Exp exp,
ISchedulingStrategyInfo ssi)
|
IValue |
IExpEvaluator.evaluate(ISchedulingStrategyContext ssc,
Exp exp,
ISchedulingStrategyInfo ssi)
|
void |
DefaultActionTaker.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
ISchedulingStrategyInfo ssi)
|
Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> |
DefaultExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
ISchedulingStrategyInfo ssi)
|
void |
IActionTaker.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
ISchedulingStrategyInfo ssi)
|
Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> |
IExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc,
ISchedulingStrategyInfo ssi)
|
Uses of ISchedulingStrategyInfo in edu.ksu.cis.projects.bogor.module.backtrack |
---|
Methods in edu.ksu.cis.projects.bogor.module.backtrack that return ISchedulingStrategyInfo | |
---|---|
ISchedulingStrategyInfo |
CompoundBacktrackingInfo.getSchedulingStrategyInfo()
|
ISchedulingStrategyInfo |
IBacktrackingInfo.getSchedulingStrategyInfo()
|
Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type ISchedulingStrategyInfo | |
---|---|
IArrayElementBacktrackingInfo |
DefaultBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId,
int threadId,
Action action,
IArrayValue arrayValue,
int elementIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
IControlTransferBacktrackingInfo |
DefaultBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId,
int threadId,
int locDesc,
IntObjectTable<IValue> deadLocalValues,
Transformation t,
ISchedulingStrategyInfo ssi)
|
IEndStateBacktrackingInfo |
DefaultBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId,
int threadId,
Action a,
ISchedulingStrategyInfo ssi)
|
IEnterFunctionBacktrackingInfo |
DefaultBacktrackingInfoFactory.createEnterFunctionBacktrackingInfo(int stateId,
int threadId,
InvokeTransformation t,
ISchedulingStrategyInfo ssi)
|
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)
|
IExitFunctionBacktrackingInfo |
DefaultBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId,
int threadId,
int locDesc,
int transformationIndex,
IValueArray localValues,
IValue returnValue,
ISchedulingStrategyInfo ssi)
|
IExitThreadBacktrackingInfo |
DefaultBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId,
int threadId,
Action action,
int[] threadLocationStack,
int[] threadTransformationIndexStack,
IValueArray[] threadLocalValuesStack,
ISchedulingStrategyInfo ssi)
|
IFieldBacktrackingInfo |
DefaultBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId,
int threadId,
Action action,
IRecordValue arrayOrRecordValue,
int fieldIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IDoubleValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IFloatValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IIntValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
ILongValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
INonPrimitiveValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IPrimitiveExtValue oldValue,
ISchedulingStrategyInfo ssi)
|
IGlobalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId,
int threadId,
Action action,
int globalIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IDoubleValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IFloatValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IIntValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
ILongValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
INonPrimitiveValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IPrimitiveExtValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILocalBacktrackingInfo |
DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId,
int threadId,
Node node,
int localIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
ILockBacktrackingInfo |
DefaultBacktrackingInfoFactory.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 |
DefaultBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId,
int threadId,
Action action,
ISchedulingStrategyInfo ssi)
|
IStartThreadBacktrackingInfo |
DefaultBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId,
int threadId,
int startedThreadId,
int oldThreadIdSeed,
Action action,
ISchedulingStrategyInfo ssi)
|
ITransformationsBacktrackingInfo |
DefaultBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId,
int invisibleMoves,
int threadId,
int[] threadIds,
int threadIndex,
int lastMovedThreadId,
Transformation[] transformations,
int selectedIndex,
boolean isInvisible,
ISchedulingStrategyInfo ssi)
|
Constructors in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type ISchedulingStrategyInfo | |
---|---|
CompoundBacktrackingInfo(Node node,
ISchedulingStrategyInfo ssi,
int stateId,
int threadId,
List<IBacktrackingInfo> bis)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |