gov.nasa.jpf.vm

Interface FieldLockInfoFactory

All Known Implementing Classes:

StatisticFieldLockInfoFactory

public interface FieldLockInfoFactory

factory interface for creating concrete FieldLockInfo objects, which are configurable class sets (that might encapsulate heuristics)

Method Summary

Modifier and Type	Method and Description
FieldLockInfo	createFieldLockInfo(ThreadInfo ti, ElementInfo ei, FieldInfo fi)

Method Detail

createFieldLockInfo

FieldLockInfo createFieldLockInfo(ThreadInfo ti,
                                  ElementInfo ei,
                                  FieldInfo fi)