gov.nasa.jpf.vm

Interface FieldsFactory

All Known Implementing Classes:

DefaultFieldsFactory

public interface FieldsFactory

abstract factory interface for creating Fields, i.e. the JPF object model

Method Summary

Modifier and Type	Method and Description
Fields	createArrayFields(java.lang.String type, ClassInfo ci, int nElements, int typeSize, boolean isReferenceArray)
Fields	createInstanceFields(ClassInfo ci)
Fields	createStaticFields(ClassInfo ci)

Method Detail

createInstanceFields

Fields createInstanceFields(ClassInfo ci)

createStaticFields

Fields createStaticFields(ClassInfo ci)

createArrayFields

Fields createArrayFields(java.lang.String type,
                         ClassInfo ci,
                         int nElements,
                         int typeSize,
                         boolean isReferenceArray)