gov.nasa.jpf.jvm

Class JVMClassInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.ClassInfo

gov.nasa.jpf.jvm.JVMClassInfo

All Implemented Interfaces:

GenericSignatureHolder, Cloneable, Iterable<MethodInfo>

public class JVMClassInfo
extends ClassInfo

a ClassInfo that was created from a Java classfile

Field Summary

Fields inherited from class gov.nasa.jpf.vm.ClassInfo

allInterfaces, attributor, classFileUrl, classLoader, container, elementInfoAttrs, enableAssertions, enclosingClassName, enclosingMethodName, fieldsFactory, finalizer, genericSignature, id, iFields, INITIALIZED, innerClassNames, instanceDataOffset, instanceDataSize, interfaceNames, interfaces, isAbstract, isArray, isBuiltin, isClass, isEnum, isObjectClassInfo, isRefClassInfo, isReferenceArray, isStringClassInfo, isThreadClassInfo, isWeakReference, methods, name, nInstanceFields, packageName, releaseActions, sFields, signature, source, sourceFileName, staticDataSize, superClass, superClassName, thisClassLoader, UNINITIALIZED, uniqueId

Fields inherited from class gov.nasa.jpf.vm.InfoObject

annotations, attr

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JVMClassInfo(ClassInfo ciAnnotation, String proxyName, ClassLoaderInfo cli, String url)
protected	JVMClassInfo(ClassParser parser)
	JVMClassInfo(String name, ClassLoaderInfo classLoader, ClassParser parser, String classFileUrl)

Method Summary

Methods

Modifier and Type	Method and Description
protected ClassInfo	createAnnotationProxy(String proxyName)
DirectCallStackFrame	createDirectCallStackFrame(ThreadInfo ti, MethodInfo miCallee, int nLocals)
DirectCallStackFrame	createRunStartStackFrame(ThreadInfo ti, MethodInfo miRun) while this is a normal DirectCallStackFrame, it has different code which has to be created here
StackFrame	createStackFrame(ThreadInfo ti, MethodInfo callee)
protected void	setAnnotationValueGetterCode(MethodInfo pmi, FieldInfo fi) to be called from super proxy ctor this needs to be in the VM specific ClassInfo because we need to create code
protected void	setDirectCallCode(MethodInfo miDirectCall, MethodInfo miCallee)
protected void	setNativeCallCode(NativeMethodInfo miNative)
protected void	setRunStartCode(MethodInfo miRun, MethodInfo miStub)

Methods inherited from class gov.nasa.jpf.vm.ClassInfo

addElementInfoAttr, addReleaseAction, areAssertionsEnabled, checkInheritedAnnotations, checkNoClinitInitialization, cloneFor, computeClassFileUrl, computeSourceFileName, createInstanceFields, declaredMethodIterator, desiredAssertionStatus, equals, getAllInterfaceClassInfos, getAllInterfaces, getAnnotation, getAnnotationProxy, getAnnotations, getClassFileUrl, getClassInfo, getClassLoaderInfo, getClassObject, getClassObjectRef, getClinit, getComponentClassInfo, getContainer, getDeclaredInstanceField, getDeclaredInstanceField, getDeclaredInstanceFields, getDeclaredMethodInfos, getDeclaredStaticField, getDeclaredStaticFields, getDirectInterfaceNames, getElementInfoAttrs, getEnclosingClassInfo, getEnclosingClassName, getEnclosingMethodInfo, getEnclosingMethodName, getFieldAttrs, getFinalizer, getFinalizer0, getGenericSignature, getId, getInitializedClassInfo, getInitializedSystemClassInfo, getInnerClasses, getInnerClassInfos, getInstanceDataSize, getInstanceField, getInstanceField, getInstanceFields, getInterfaceClassInfos, getMatchingInstructions, getMatchingMethodInfos, getMethod, getMethod, getModifiableClassObject, getModifiableStaticElementInfo, getModifiers, getName, getNativePeer, getNumberOfDeclaredInstanceFields, getNumberOfInstanceFields, getNumberOfLoadedClasses, getNumberOfStaticFields, getPackageName, getReflectionMethod, getResolvedAnnotationInfo, getSignature, getSimpleName, getSource, getSourceFileName, getStaticDataSize, getStaticElementInfo, getStaticField, getStaticField, getStaticFieldName, getStaticFieldValueObject, getStatics, getSuperClass, getSuperClass, getSuperClassName, getType, getUniqueId, hasAnnotations, hasCtors, hashCode, hasInnerClass, hasInstanceFieldInfoAttr, hasInstanceFields, hasReleaseAction, initializeClass, isAbstract, isArray, isBoxClass, isBuiltin, isEnum, isEnum0, isInitialized, isInitializing, isInnerClassOf, isInstanceOf, isInstanceOf, isInterface, isObjectClassInfo, isObjectClassInfo, isObjectClassInfo0, isPrimitive, isRefClassInfo0, isReferenceArray, isReferenceClassInfo, isRegistered, isResolved, isStaticMethodAbstractionDeterministic, isStringClassInfo, isStringClassInfo, isStringClassInfo0, isSystemClass, isThreadClassInfo, isThreadClassInfo0, isWeakReference, isWeakReference0, iterator, linkFields, linkFields, loadArrayInterfaces, loadBuiltinInterfaces, loadInterfaces, loadNativePeer, loadSource, loadSuperClass, makeModelClassPath, matchDeclaredMethods, matchMethods, needsInitialization, processReleaseActions, pushClinit, pushRequiredClinits, putDeclaredMethod, registerClass, resolveClass, resolveReferencedClass, setAnnotations, setAssertionStatus, setClass, setContainer, setElementInfoAttrs, setEnclosingClass, setEnclosingMethod, setFields, setGenericSignature, setInitialized, setInitializing, setInnerClassNames, setInterfaceNames, setMethods, setSourceFile, toString

Methods inherited from class gov.nasa.jpf.vm.InfoObject

addAnnotation, addAttr, attrIterator, attrIterator, getAttr, getAttr, getDeclaredAnnotations, getNextAttr, hasAttr, hasAttr, hasAttrValue, removeAttr, replaceAttr, setAttr

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

JVMClassInfo

public JVMClassInfo(String name,
            ClassLoaderInfo classLoader,
            ClassParser parser,
            String classFileUrl)
             throws ClassParseException

Throws:

ClassParseException

JVMClassInfo

protected JVMClassInfo(ClassInfo ciAnnotation,
            String proxyName,
            ClassLoaderInfo cli,
            String url)

JVMClassInfo

protected JVMClassInfo(ClassParser parser)
                throws ClassParseException

Throws:

ClassParseException

Method Detail

createAnnotationProxy

protected ClassInfo createAnnotationProxy(String proxyName)

Overrides:

createAnnotationProxy in class ClassInfo

setAnnotationValueGetterCode

protected void setAnnotationValueGetterCode(MethodInfo pmi,
                                FieldInfo fi)

to be called from super proxy ctor this needs to be in the VM specific ClassInfo because we need to create code

Overrides:

setAnnotationValueGetterCode in class ClassInfo

setDirectCallCode

protected void setDirectCallCode(MethodInfo miDirectCall,
                     MethodInfo miCallee)

Overrides:

setDirectCallCode in class ClassInfo

setNativeCallCode

protected void setNativeCallCode(NativeMethodInfo miNative)

Overrides:

setNativeCallCode in class ClassInfo

setRunStartCode

protected void setRunStartCode(MethodInfo miRun,
                   MethodInfo miStub)

Overrides:

setRunStartCode in class ClassInfo

createStackFrame

public StackFrame createStackFrame(ThreadInfo ti,
                          MethodInfo callee)

Overrides:

createStackFrame in class ClassInfo

createDirectCallStackFrame

public DirectCallStackFrame createDirectCallStackFrame(ThreadInfo ti,
                                              MethodInfo miCallee,
                                              int nLocals)

Overrides:

createDirectCallStackFrame in class ClassInfo

createRunStartStackFrame

public DirectCallStackFrame createRunStartStackFrame(ThreadInfo ti,
                                            MethodInfo miRun)

while this is a normal DirectCallStackFrame, it has different code which has to be created here

Overrides:

createRunStartStackFrame in class ClassInfo