| java.lang.Object gov.nasa.jpf.tools.GenPeerDispatcher
GenPeerDispatcher | public class GenPeerDispatcher (Code) | | tool to create NativePeerDispatchers, i.e. classes that do the NativePeer
method lookup with explicit hahcode values instead of reflection.
Given a NativePeer, this class computes the hashcodes and creates a
dispatcher class that mostly consists of one big dispatcher method directly
calling the native methods
Since reflection call efficiency got significantly improved since Java 1.4,
dispatcher classes are not really required anymore.
|
IS_COND_DETERMINISTIC | final static String IS_COND_DETERMINISTIC(Code) | | |
IS_COND_EXECUTABLE | final static String IS_COND_EXECUTABLE(Code) | | |
MJI_MODS | final static int MJI_MODS(Code) | | |
calcStackSize | static int calcStackSize(Class[] argTypes)(Code) | | |
isMJIDetermCondCandidate | static boolean isMJIDetermCondCandidate(Method m)(Code) | | |
isMJIExecCondCandidate | static boolean isMJIExecCondCandidate(Method m)(Code) | | |
isMJIExecuteCandidate | static boolean isMJIExecuteCandidate(Method m)(Code) | | |
printExecCallProlog | static int printExecCallProlog(Method m)(Code) | | |
printIndent | static void printIndent(int level)(Code) | | |
printIsCondDeterministic | static void printIsCondDeterministic(Class cls)(Code) | | |
printIsCondExecutable | static void printIsCondExecutable(Class cls)(Code) | | |
printNativePeerDispatcher | static void printNativePeerDispatcher(Class cls)(Code) | | |
showUsage | static void showUsage()(Code) | | |
|
|