gov.nasa.jpf.vm

Class NativePeer

java.lang.Object

gov.nasa.jpf.vm.NativePeer

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

JPF_gov_nasa_jpf_util_test_TestJPF, JPF_gov_nasa_jpf_vm_Verify

public class NativePeer
extends java.lang.Object
implements java.lang.Cloneable

native peer classes are part of MJI and contain the code that is executed by the host VM (i.e. outside the state-tracked JPF VM). Each class executed by JPF that has native mehods must have a native peer class (which is looked up and associated at class loadtime)

Constructor Summary

Constructors

Constructor and Description
NativePeer()

Method Summary

Modifier and Type	Method and Description
protected void	checkOrphan(java.lang.reflect.Method mth, java.lang.String mname)
static <T> T	getInstance(java.lang.Class<?> cls, java.lang.Class<T> type)
static <T> T	getInstance(java.lang.Class<?> cls, java.lang.Class<T> type, java.lang.Class<?>[] argTypes, java.lang.Object[] args)
java.lang.Class<?>	getPeerClass()
java.lang.String	getPeerClassName()
protected boolean	ignoreOrphan(java.lang.reflect.Method m)
static boolean	init(Config conf)
protected void	initialize(java.lang.Class<?> peerClass, ClassInfo ci, boolean cacheMethods)
protected static void	initializePeerClass(java.lang.Class<?> cls)
protected void	loadMethods(boolean cacheMethods) look at all @MJI annotated methods in the peer and set their corresponding model class MethodInfo attributes <2do> pcm - this is too long, break it down

Methods inherited from class java.lang.Object

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

Constructor Detail

NativePeer

public NativePeer()

Method Detail

init

public static boolean init(Config conf)

getInstance

public static <T> T getInstance(java.lang.Class<?> cls,
                                java.lang.Class<T> type)
                         throws JPFException

Throws:

JPFException

getInstance

public static <T> T getInstance(java.lang.Class<?> cls,
                                java.lang.Class<T> type,
                                java.lang.Class<?>[] argTypes,
                                java.lang.Object[] args)
                         throws JPFException

Throws:

JPFException

getPeerClass

public java.lang.Class<?> getPeerClass()

getPeerClassName

public java.lang.String getPeerClassName()

initialize

protected void initialize(java.lang.Class<?> peerClass,
                          ClassInfo ci,
                          boolean cacheMethods)

initializePeerClass

protected static void initializePeerClass(java.lang.Class<?> cls)

loadMethods

protected void loadMethods(boolean cacheMethods)

look at all @MJI annotated methods in the peer and set their corresponding model class MethodInfo attributes <2do> pcm - this is too long, break it down

checkOrphan

protected void checkOrphan(java.lang.reflect.Method mth,
                           java.lang.String mname)

ignoreOrphan

protected boolean ignoreOrphan(java.lang.reflect.Method m)