| java.lang.Object gov.nasa.jpf.jvm.Fields gov.nasa.jpf.jvm.DynamicFields
DynamicFields | public class DynamicFields extends Fields (Code) | | <2do> pcm - another superfluous type, we should reduce this to Fields. Last
place the polymorphism is used (but after an 'instanceof') is FieldRaceInfo.
As soon as we cleaned up the race detection, scrub this class
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.
See Also: gov.nasa.jpf.jvm.FieldInfo |
getNumberOfFields | public int getNumberOfFields()(Code) | | |
|
|