Uses of Interface
edu.ksu.cis.projects.bogor.module.value.ILockValue

Packages that use ILockValue

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.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.module.value.event

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

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

ILockValue	DefaultExpEvaluator.evaluateNewLock()
ILockValue	IExpEvaluator.evaluateNewLock()
ILockValue	IValueFactory.newLockValue() Creates a new lock value.

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

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)
void	DefaultStateExternalizer.externalizeLockHeapElement(ILockValue element)
protected void	DefaultStateExternalizer.externalizeLockHeapElementHelper(ILockValue element)
void	DefaultStateExternalizer.externalizeLockValue(int indents, ILockValue value)
ILockBacktrackingInfo	DefaultActionTaker.takeLockAction(LockAction a, ILockValue value)
ILockBacktrackingInfo	IActionTaker.takeLockAction(LockAction a, ILockValue value)

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

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

ILockValue

ILockBacktrackingInfo.getLockValue()

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

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)

Uses of ILockValue in edu.ksu.cis.projects.bogor.module.value

Classes in edu.ksu.cis.projects.bogor.module.value that implement ILockValue

class

DefaultLockValue The default implementation of ILockValue.

Fields in edu.ksu.cis.projects.bogor.module.value declared as ILockValue

protected ILockValue	DefaultArrayValue.lockValue Holds the lock value of this array value.
protected ILockValue	DefaultRecordValue.lockValue Holds the lock value of this record value.

Methods in edu.ksu.cis.projects.bogor.module.value that return ILockValue

ILockValue	DefaultLockValue.clone(Map<Object,Object> cloneMap)
ILockValue	ILockValue.clone(Map<Object,Object> cloneMap) Override to specialize return type
ILockValue	DefaultArrayValue.getLockValue()
ILockValue	DefaultRecordValue.getLockValue()
ILockValue	IRecordValue.getLockValue() Gets the lock value of this record.
ILockValue	DefaultValueFactory.newLockValue()

Constructors in edu.ksu.cis.projects.bogor.module.value with parameters of type ILockValue

DefaultArrayValue(IValueFactory vf, int referenceId, ArrayType type, IValueArray elementValues, IValueArray fieldValues, ILockValue lockValue)
Default constructor.

DefaultRecordValue(IValueFactory vf, int referenceId, RecordType type, IValueArray fieldValues, ILockValue lockValue)
Default constructor.

Uses of ILockValue in edu.ksu.cis.projects.bogor.module.value.event

Methods in edu.ksu.cis.projects.bogor.module.value.event with parameters of type ILockValue

void	ILockLockedListener.lockLocked(int threadId, ILockValue lv, int newLockCounter)
void	ILockNotifiedListener.lockNotified(int threadId, ILockValue lv, int notifiedThreadId)
void	ILockNotifiedAllListener.lockNotifiedAll(int threadId, ILockValue lv, int[] notifiedThreadIds)
void	ILockUnlockedListener.lockUnlocked(int threadId, ILockValue lv, int newLockCounter)
void	ILockUnwaitListener.lockUnwait(int threadId, ILockValue lv, int lockCounter)
void	ILockWaitListener.lockWait(int threadId, ILockValue lv, int lockCounter)
void	DefaultLockEventNotifier.notifyLockLocked(int threadId, ILockValue lv, int newLockCounter)
void	DefaultValueEventNotifier.notifyLockLocked(int threadId, ILockValue lv, int newLockCounter)
void	ILockEventNotifier.notifyLockLocked(int threadId, ILockValue lv, int newLockCounter)
void	DefaultLockEventNotifier.notifyLockNotified(int threadId, ILockValue lv, int notifiedThreadId)
void	DefaultValueEventNotifier.notifyLockNotified(int threadId, ILockValue lv, int notifiedThreadId)
void	ILockEventNotifier.notifyLockNotified(int threadId, ILockValue lv, int notifiedThreadId)
void	DefaultLockEventNotifier.notifyLockNotifiedAll(int threadId, ILockValue lv, int[] notifiedThreadIds)
void	DefaultValueEventNotifier.notifyLockNotifiedAll(int threadId, ILockValue lv, int[] notifiedThreadIds)
void	ILockEventNotifier.notifyLockNotifiedAll(int threadId, ILockValue lv, int[] notifiedThreadIds)
void	DefaultLockEventNotifier.notifyLockUnlocked(int threadId, ILockValue lv, int newLockCounter)
void	DefaultValueEventNotifier.notifyLockUnlocked(int threadId, ILockValue lv, int newLockCounter)
void	ILockEventNotifier.notifyLockUnlocked(int threadId, ILockValue lv, int newLockCounter)
void	DefaultLockEventNotifier.notifyLockUnwait(int threadId, ILockValue lv, int lockCounter)
void	DefaultValueEventNotifier.notifyLockUnwait(int threadId, ILockValue lv, int lockCounter)
void	ILockEventNotifier.notifyLockUnwait(int threadId, ILockValue lv, int lockCounter)
void	DefaultLockEventNotifier.notifyLockWait(int threadId, ILockValue lv, int lockCounter)
void	DefaultValueEventNotifier.notifyLockWait(int threadId, ILockValue lv, int lockCounter)
void	ILockEventNotifier.notifyLockWait(int threadId, ILockValue lv, int lockCounter)