| java.lang.Object gov.nasa.jpf.jvm.Fields gov.nasa.jpf.jvm.StaticFields
StaticFields | public class StaticFields extends Fields (Code) | | <2do> pcm - another superfluous type, we should reduce this to Fields. See
DynamicFields
Represents the fields of an object or class. Contains the values of the
fields, not their descriptors. Descriptors are represented by
gov.nasa.jpf.jvm.FieldInfo objects, which are stored in the
ClassInfo structure. Unlike DynamicFields, ONLY the values of fields of
a single class are present in a StaticFields.
See Also: gov.nasa.jpf.jvm.FieldInfo |
StaticFields | public StaticFields(ClassInfo ci)(Code) | | Creates a new field object.
|
getNumberOfFields | public int getNumberOfFields()(Code) | | |
|
|