| java.lang.Object gov.nasa.jpf.tools.GenPeer
GenPeer | public class GenPeer (Code) | | tool to automatically generate the framework of a native peer MJI class,
given it's model class. GenPeer collects all the native methods from the
model class, and creates the corresponding native peer methods
|
Method Summary | |
static Class | getClass(String cname) | static void | getMangledName(Method m) | static boolean | isMJICandidate(Method m) | static boolean | isPrimitiveType(String t) | public static void | main(String[] args) | static void | printClinit(PrintWriter pw) | static void | printFooter(Class cls, PrintWriter pw) | static void | printHeader(Class cls, PrintWriter pw) | static void | printMethodBody(String rt, String t, PrintWriter pw) | static void | printMethodName(Method m, PrintWriter pw) | static void | printMethodStub(String condPrefix, Method m, PrintWriter pw) | static void | printNativePeer(Class cls, PrintWriter pw) | static void | printStdArgs(Method m, PrintWriter pw) | static void | printTargetArgs(Method m, PrintWriter pw) | static String[] | readNames(String[] args, int i) | static boolean | readOptions(String[] args) | static void | showUsage() | static String | stripType(String s) | static String | stripType(String prefix, String s) |
allMethods | static boolean allMethods(Code) | | |
clinit | static boolean clinit(Code) | | |
determCond | static boolean determCond(Code) | | |
execCond | static boolean execCond(Code) | | |
isSystemPkg | static boolean isSystemPkg(Code) | | |
mangleNames | static boolean mangleNames(Code) | | |
isPrimitiveType | static boolean isPrimitiveType(String t)(Code) | | |
showUsage | static void showUsage()(Code) | | |
|
|