|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ILockBacktrackingInfo | |
|---|---|
| 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 ILockBacktrackingInfo in edu.ksu.cis.projects.bogor.module |
|---|
| Methods in edu.ksu.cis.projects.bogor.module that return ILockBacktrackingInfo | |
|---|---|
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)
|
ILockBacktrackingInfo |
DefaultActionTaker.takeLockAction(LockAction a,
ILockValue value)
|
ILockBacktrackingInfo |
IActionTaker.takeLockAction(LockAction a,
ILockValue value)
|
| Uses of ILockBacktrackingInfo in edu.ksu.cis.projects.bogor.module.backtrack |
|---|
| Methods in edu.ksu.cis.projects.bogor.module.backtrack that return ILockBacktrackingInfo | |
|---|---|
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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||