gov.nasa.jpf.vm

Class PersistentLockSetThresholdFli

java.lang.Object

gov.nasa.jpf.vm.FieldLockInfo

gov.nasa.jpf.vm.ThresholdFieldLockInfo

gov.nasa.jpf.vm.LockSetThresholdFli

gov.nasa.jpf.vm.PersistentLockSetThresholdFli

All Implemented Interfaces:

java.lang.Cloneable

public class PersistentLockSetThresholdFli
extends LockSetThresholdFli

persistent version of a FieldLockInfo with multiple locks

Field Summary

Fields inherited from class gov.nasa.jpf.vm.LockSetThresholdFli

lockRefSet

Fields inherited from class gov.nasa.jpf.vm.ThresholdFieldLockInfo

remainingChecks

Fields inherited from class gov.nasa.jpf.vm.FieldLockInfo

empty, tiLastCheck

Constructor Summary

Constructors

Constructor and Description
PersistentLockSetThresholdFli(ThreadInfo ti, int[] currentLockRefs, int checkThreshold)

Method Summary

Modifier and Type	Method and Description
protected LockSetThresholdFli	lockSetThresholdFli(ThreadInfo ti, int[] lockRefs, int remainingChecks)
protected SingleLockThresholdFli	singleLockThresholdFli(ThreadInfo ti, int lockRef, int remainingChecks) override this for search global FieldLockInfos

Methods inherited from class gov.nasa.jpf.vm.LockSetThresholdFli

checkProtection, cleanUp, getCandidateLockSet, toString

Methods inherited from class gov.nasa.jpf.vm.ThresholdFieldLockInfo

checkFailedLockAssumption, getInstance, isProtected

Methods inherited from class gov.nasa.jpf.vm.FieldLockInfo

clone, getEmptyFieldLockInfo, isFinal, needsPindown

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PersistentLockSetThresholdFli

public PersistentLockSetThresholdFli(ThreadInfo ti,
                                     int[] currentLockRefs,
                                     int checkThreshold)

Method Detail

singleLockThresholdFli

protected SingleLockThresholdFli singleLockThresholdFli(ThreadInfo ti,
                                                        int lockRef,
                                                        int remainingChecks)

Description copied from class: LockSetThresholdFli

override this for search global FieldLockInfos

Overrides:

singleLockThresholdFli in class LockSetThresholdFli

lockSetThresholdFli

protected LockSetThresholdFli lockSetThresholdFli(ThreadInfo ti,
                                                  int[] lockRefs,
                                                  int remainingChecks)

Overrides:

lockSetThresholdFli in class LockSetThresholdFli