gov.nasa.jpf.tool

Class Run

java.lang.Object

gov.nasa.jpf.tool.Run

Direct Known Subclasses:

RunJPF, RunTest

public class Run
extends java.lang.Object

common base for Run* classes

Constructor Summary

Constructors

Constructor and Description
Run()

Method Summary

Modifier and Type	Method and Description
protected static boolean	call(java.lang.Class<?> cls, java.lang.String mthName, java.lang.Object[] args)
protected static java.lang.String	checkClassName(java.lang.String cls)
protected static void	error(java.lang.String msg)
protected static java.lang.String[]	removeConfigArgs(java.lang.String[] args)
protected static void	warning(java.lang.String msg)

Methods inherited from class java.lang.Object

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

Constructor Detail

Run

public Run()

Method Detail

error

protected static void error(java.lang.String msg)

warning

protected static void warning(java.lang.String msg)

removeConfigArgs

protected static java.lang.String[] removeConfigArgs(java.lang.String[] args)

checkClassName

protected static java.lang.String checkClassName(java.lang.String cls)

call

protected static boolean call(java.lang.Class<?> cls,
                              java.lang.String mthName,
                              java.lang.Object[] args)
                       throws java.lang.reflect.InvocationTargetException

Throws:

java.lang.reflect.InvocationTargetException