RunJPF (JPF API)

```
public class RunJPF
extends Run
```
This class is a wrapper for loading JPF or a JPFShell through a classloader that got initialized from a Config object (i.e. 'native_classpath'). This is the main-class entry in the executable RunJPF.jar, which does not require any JPF specific classpath settings, provided the site.properties is configured correctly NOTE this class is not allowed to use any types that would require loading JPF classes during class resolution - this would result in NoClassDefFoundErrors if the respective class is not in RunJPF.jar

Constructors
Constructor and Description
`RunJPF()`

Methods
Modifier and Type	Method and Description
`static void`	`addProject(String[] args)`
`static int`	`getOptions(String[] args)`
`static boolean`	`isOptionEnabled(int option, int mask)`
`static void`	`main(String[] args)`
`static void`	`showBuild(ClassLoader cl)`
`static void`	`showUsage()`
`static void`	`showVersion(ClassLoader cl)`

Methods inherited from class gov.nasa.jpf.tool.Run
call, checkClassName, error, removeConfigArgs

public static void main(String[] args)

public static int getOptions(String[] args)

public static boolean isOptionEnabled(int option,
                      int mask)

public static void addProject(String[] args)

public static void showVersion(ClassLoader cl)

public static void showBuild(ClassLoader cl)

Class RunJPF