Package | Description |
---|---|
gov.nasa.jpf.util.test | |
gov.nasa.jpf.vm | |
java.lang | |
sun.reflect.annotation |
Modifier and Type | Method and Description |
---|---|
protected static List<Method> |
TestJPF.getAfterClassMethods(Class<? extends TestJPF> testCls) |
protected static List<Method> |
TestJPF.getAfterMethods(Class<? extends TestJPF> testCls) |
protected static List<Method> |
TestJPF.getBeforeClassMethods(Class<? extends TestJPF> testCls) |
protected static List<Method> |
TestJPF.getBeforeMethods(Class<? extends TestJPF> testCls) |
protected static List<Method> |
TestJPF.getContextMethods(Class<? extends TestJPF> testCls,
int setModifiers,
int unsetModifiers,
String annotation) |
protected static List<Method> |
TestJPF.getMatchingMethods(Class<? extends TestJPF> testCls,
int setModifiers,
int unsetModifiers,
String[] annotationNames) |
protected static List<Method> |
TestJPF.getTestMethods(Class<? extends TestJPF> testCls,
String[] args) |
Modifier and Type | Method and Description |
---|---|
protected static boolean |
TestJPF.isMatchingMethod(Method m,
int setModifiers,
int unsetModifiers,
String[] annotationNames) |
Modifier and Type | Field and Description |
---|---|
protected Method |
NativeMethodInfo.mth |
Modifier and Type | Method and Description |
---|---|
Method |
NativeMethodInfo.getMethod() |
Modifier and Type | Method and Description |
---|---|
static String |
Types.getJNIMangledMethodName(Method m) |
Constructor and Description |
---|
NativeMethodInfo(MethodInfo mi,
Method mth,
NativePeer peer) |
Modifier and Type | Method and Description |
---|---|
Method |
Class.getDeclaredMethod(String mthName,
Class<?>... paramTypes) |
Method[] |
Class.getDeclaredMethods() |
Method |
Class.getEnclosingMethod() |
Method |
Class.getMethod(String mthName,
Class<?>... paramTypes) |
Method[] |
Class.getMethods() |
Modifier and Type | Method and Description |
---|---|
Map<String,Method> |
AnnotationType.members() |