Uses of Interface
gov.nasa.jpf.vm.FieldsFactory

Packages that use FieldsFactory

Package	Description
gov.nasa.jpf.vm

Uses of FieldsFactory in gov.nasa.jpf.vm

Classes in gov.nasa.jpf.vm that implement FieldsFactory

Modifier and Type	Class and Description
class	DefaultFieldsFactory our concrete Fields factory (representing the default JPF object model)

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

Modifier and Type	Field and Description
protected static FieldsFactory	ClassInfo.fieldsFactory our abstract factory to createAndInitialize object and class fields