Uses of Class
gov.nasa.jpf.vm.FieldLockInfo

Packages that use FieldLockInfo

Package	Description
gov.nasa.jpf.vm

Uses of FieldLockInfo in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as FieldLockInfo

Modifier and Type	Field and Description
protected static FieldLockInfo	FieldLockInfo.empty
protected FieldLockInfo[]	ElementInfo.fLockInfo

Methods in gov.nasa.jpf.vm that return FieldLockInfo

Modifier and Type	Method and Description
abstract FieldLockInfo	FieldLockInfo.checkProtection(ThreadInfo ti, ElementInfo ei, FieldInfo fi)
abstract FieldLockInfo	FieldLockInfo.cleanUp(Heap heap)
FieldLockInfo	FieldLockInfoFactory.createFieldLockInfo(ThreadInfo ti, ElementInfo ei, FieldInfo fi)
FieldLockInfo	StatisticFieldLockInfoFactory.createFieldLockInfo(ThreadInfo ti, ElementInfo ei, FieldInfo fi)
FieldLockInfo	ElementInfo.getFieldLockInfo(FieldInfo fi)

Methods in gov.nasa.jpf.vm with parameters of type FieldLockInfo

Modifier and Type	Method and Description
void	ElementInfo.setFieldLockInfo(FieldInfo fi, FieldLockInfo flInfo)