gov.nasa.jpf.vm

Class PersistentSingleLockThresholdFli

java.lang.Object

gov.nasa.jpf.vm.FieldLockInfo

gov.nasa.jpf.vm.ThresholdFieldLockInfo

gov.nasa.jpf.vm.SingleLockThresholdFli

gov.nasa.jpf.vm.PersistentSingleLockThresholdFli

All Implemented Interfaces:

java.lang.Cloneable

public class PersistentSingleLockThresholdFli
extends SingleLockThresholdFli

persistent SingleLockThresholdFli version

Field Summary

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

lockRef

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
PersistentSingleLockThresholdFli(ThreadInfo ti, int lockRef, int remainingChecks)

Method Summary

Modifier and Type	Method and Description
protected SingleLockThresholdFli	singleLockThresholdFli(ThreadInfo ti, int lockRef, int remainingChecks) override this for path local flis

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

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

PersistentSingleLockThresholdFli

public PersistentSingleLockThresholdFli(ThreadInfo ti,
                                        int lockRef,
                                        int remainingChecks)

Method Detail

singleLockThresholdFli

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

Description copied from class: SingleLockThresholdFli

override this for path local flis

Overrides:

singleLockThresholdFli in class SingleLockThresholdFli