Package | Description |
---|---|
gov.nasa.jpf.tool | |
gov.nasa.jpf.util | |
java.lang.reflect |
Modifier and Type | Method and Description |
---|---|
protected static boolean |
Run.call(Class<?> cls,
String mthName,
Object[] args) |
Modifier and Type | Method and Description |
---|---|
static boolean |
Reflection.tryCallMain(Class<?> cls,
String[] args) |
Modifier and Type | Method and Description |
---|---|
Object |
Method.invoke(Object object,
Object... args) |
T |
Constructor.newInstance(Object... args) |