gov.nasa.jpf.vm

Class NativeMethodInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.MethodInfo

gov.nasa.jpf.vm.NativeMethodInfo

All Implemented Interfaces:

GenericSignatureHolder, java.lang.Cloneable

public class NativeMethodInfo
extends MethodInfo

a MethodInfo for a native peer executed method

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.reflect.Method	mth
protected NativePeer	peer

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

argSize, argTypes, attributes, ci, code, exceptionHandlers, genericSignature, globalId, lineNumbers, localVars, maxLocals, maxStack, modifiers, mthTable, name, nArgs, retSize, returnType, signature, thrownExceptionClassNames, uniqueName, warnedLocalInfo

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

annotations, attr, typeAnnotations

Constructor Summary

Constructors

Constructor and Description
NativeMethodInfo(MethodInfo mi, java.lang.reflect.Method mth, NativePeer peer)

Method Summary

Modifier and Type	Method and Description
Instruction	executeNative(ThreadInfo ti)
protected java.lang.Object[]	getArguments(ThreadInfo ti) Get and convert the native method parameters off the ThreadInfo stack.
int	getLineNumber(Instruction pc) Returns the line number for a given position.
java.lang.reflect.Method	getMethod()
NativePeer	getNativePeer()
java.lang.String	getStackTraceSource()
boolean	hasEmptyBody()
boolean	isJPFExecutable()
boolean	isMJI()
boolean	isUnresolvedNativeMethod()
protected boolean	isUnsatisfiedLinkError(MJIEnv env)
void	replace(MethodInfo mi)

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

clone, containsLineNumber, create, create, createDirectCallStackFrame, createRunStartStackFrame, dump, finishExceptionHandlerTable, finishLineNumberTable, finishLocalVarTable, finishParameterAnnotations, finishThrownExceptions, getArgumentLocalVars, getArgumentsSize, getArgumentTypeNames, getArgumentTypes, getBaseName, getClassInfo, getClassName, getCompleteName, getExceptions, getFirstInsn, getFullName, getGenericSignature, getGlobalId, getHandlerFor, getInstanceFor, getInstruction, getInstructionAt, getInstructions, getInstructionsForLine, getInstructionsForLineInterval, getJNIName, getLastInsn, getLineNumbers, getLocalVar, getLocalVar, getLocalVariableNames, getLocalVars, getLongName, getMatchingInstructions, getMaxLocals, getMaxStack, getMethodInfo, getModifiers, getName, getNumberOfArguments, getNumberOfCallerStackSlots, getNumberOfInstructions, getNumberOfLoadedMethods, getNumberOfStackArguments, getOverriddenMethodInfo, getParameterAnnotations, getParameterAnnotations, getReturnChoiceGeneratorType, getReturnSize, getReturnType, getReturnTypeCode, getReturnTypeName, getSignature, getSourceFileName, getStackTraceName, getThrownExceptionClassNames, getTypeAnnotatedLocalVars, getTypeAnnotatedLocalVars, getUniqueName, getUniqueName, hasCode, hasParameterAnnotations, hasTypeAnnotatedLocalVars, includesLine, intersectsLineNumbers, isAbstract, isAtomic, isClinit, isClinit, isCtor, isDirectCallStub, isFirewall, isHidden, isInit, isInitOrClinit, isInternalMethod, isJPFInternal, isNative, isPrivate, isProtected, isPublic, isReferenceReturnType, isStatic, isSynchronized, isSyncRelevant, isSynthetic, isThreadEntry, isVarargs, linkToClass, setCode, setException, setExceptionHandler, setExceptionHandlers, setFirewall, setGenericSignature, setLineNumber, setLineNumbers, setLineNumbers, setLocalVar, setLocalVarAnnotations, setLocalVarTable, setMaxLocals, setMaxStack, setParameterAnnotations, setParameterAnnotations, setThrownExceptions, startExceptionHandlerTable, startLineNumberTable, startLocalVarTable, startParameterAnnotations, startTrownExceptions, toString

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

addAnnotation, addAnnotations, addAttr, addTypeAnnotation, addTypeAnnotations, attrIterator, attrIterator, getAnnotation, getAnnotations, getAttr, getAttr, getDeclaredAnnotations, getNextAttr, getTargetTypeAnnotations, getTypeAnnotation, getTypeAnnotations, hasAnnotation, hasAnnotations, hasAttr, hasAttr, hasAttrValue, hasTypeAnnotation, hasTypeAnnotations, removeAttr, replaceAttr, setAnnotations, setAttr, setTypeAnnotations

Methods inherited from class java.lang.Object

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

Field Detail

mth

protected java.lang.reflect.Method mth

peer

protected NativePeer peer

Constructor Detail

NativeMethodInfo

public NativeMethodInfo(MethodInfo mi,
                        java.lang.reflect.Method mth,
                        NativePeer peer)

Method Detail

replace

public void replace(MethodInfo mi)

isUnresolvedNativeMethod

public boolean isUnresolvedNativeMethod()

Overrides:

isUnresolvedNativeMethod in class MethodInfo

isMJI

public boolean isMJI()

Overrides:

isMJI in class MethodInfo

hasEmptyBody

public boolean hasEmptyBody()

Overrides:

hasEmptyBody in class MethodInfo

isJPFExecutable

public boolean isJPFExecutable()

Overrides:

isJPFExecutable in class MethodInfo

getNativePeer

public NativePeer getNativePeer()

getMethod

public java.lang.reflect.Method getMethod()

getStackTraceSource

public java.lang.String getStackTraceSource()

Overrides:

getStackTraceSource in class MethodInfo

getLineNumber

public int getLineNumber(Instruction pc)

Description copied from class: MethodInfo

Returns the line number for a given position.

Overrides:

getLineNumber in class MethodInfo

executeNative

public Instruction executeNative(ThreadInfo ti)

isUnsatisfiedLinkError

protected boolean isUnsatisfiedLinkError(MJIEnv env)

getArguments

protected java.lang.Object[] getArguments(ThreadInfo ti)

Get and convert the native method parameters off the ThreadInfo stack. Use the MethodInfo parameter type info for this (not the reflect.Method type array), or otherwise we won't have any type check