| java.lang.Object
 gov.nasa.jpf.jvm.FieldLockInfo
All known Subclasses: gov.nasa.jpf.jvm.StatisticFieldLockInfo,
| FieldLockInfo | | abstract public class FieldLockInfo implements Cloneable(Code) | | class encapsulating the lock protection detection for field access
instructions. Used by on-the-fly partial order reduction in FieldInstruction
to determine if a GET/PUT_FIELD/STATIC insn has to be treated as a
boundary step (terminates a transition). If the field access is always
protected by a lock, only the corresponding sync (INVOKExx or MONITORENTER)
are boundary steps, thus the number of states can be significantly reduced
|
| isProtected | | abstract public boolean isProtected()(Code) | | |
|
|