gov.nasa.jpf.vm

Class DefaultFieldsFactory

java.lang.Object

gov.nasa.jpf.vm.DefaultFieldsFactory

All Implemented Interfaces:

FieldsFactory

public class DefaultFieldsFactory
extends java.lang.Object
implements FieldsFactory

our concrete Fields factory (representing the default JPF object model)

Constructor Summary

Constructors

Constructor and Description
DefaultFieldsFactory()

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultFieldsFactory

public DefaultFieldsFactory()

Method Detail

createInstanceFields

public Fields createInstanceFields(ClassInfo ci)

Specified by:

createInstanceFields in interface FieldsFactory

createStaticFields

public Fields createStaticFields(ClassInfo ci)

Specified by:

createStaticFields in interface FieldsFactory

createArrayFields

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

Specified by:

createArrayFields in interface FieldsFactory