Modifier and Type | Class and Description |
---|---|
static class |
JPF.ExitException
private helper class for local termination of JPF (without killing the
whole Java process via System.exit).
|
static class |
JPF.Status |
Modifier | Constructor and Description |
---|---|
protected |
JPF() |
|
JPF(Config conf)
create new JPF object.
|
|
JPF(String... args)
convenience method if caller doesn't care about Config
|
Modifier and Type | Method and Description |
---|---|
void |
addListener(JPFListener l) |
protected void |
addPendingSearchListener(SearchListener l) |
protected void |
addPendingVMListener(VMListener l) |
void |
addPropertyListener(PropertyListenerAdapter pl) |
<T extends Publisher> |
addPublisherExtension(Class<T> pCls,
PublisherExtension e) |
void |
addSearchListener(SearchListener l) |
void |
addSearchProperty(Property p) |
boolean |
addUniqueTypeListener(JPFListener l) |
void |
addVMListener(VMListener l) |
protected void |
cleanUp() |
static Config |
createConfig(String[] args)
return a Config object that holds the JPF options.
|
static void |
exit() |
boolean |
foundErrors() |
Config |
getConfig() |
<T> T |
getListenerOfType(Class<T> type) |
static JPFLogger |
getLogger(String name)
use this one to get a Logger that is initialized via our Config mechanism.
|
Reporter |
getReporter() |
Search |
getSearch()
return the search object.
|
List<Error> |
getSearchErrors() |
JPF.Status |
getStatus() |
VM |
getVM()
return the VM object.
|
static void |
handleException(JPFException e) |
boolean |
isRunnable() |
static void |
main(String[] args) |
static void |
printBanner(Config config) |
void |
removeListener(JPFListener l) |
void |
run()
runs the verification.
|
<T extends Publisher> |
setPublisherTopics(Class<T> pCls,
int category,
String[] topics) |
static void |
start(Config conf,
String[] args) |
public static String VERSION
protected JPF()
public JPF(Config conf)
public JPF(String... args)
public static JPFLogger getLogger(String name)
public static void main(String[] args)
public JPF.Status getStatus()
public boolean isRunnable()
public void addPropertyListener(PropertyListenerAdapter pl)
public void addSearchListener(SearchListener l)
protected void addPendingVMListener(VMListener l)
protected void addPendingSearchListener(SearchListener l)
public void addListener(JPFListener l)
public <T> T getListenerOfType(Class<T> type)
public boolean addUniqueTypeListener(JPFListener l)
public void removeListener(JPFListener l)
public void addVMListener(VMListener l)
public void addSearchProperty(Property p)
public Reporter getReporter()
public <T extends Publisher> boolean addPublisherExtension(Class<T> pCls, PublisherExtension e)
public <T extends Publisher> void setPublisherTopics(Class<T> pCls, int category, String[] topics)
public Config getConfig()
public Search getSearch()
public VM getVM()
public static void exit()
public boolean foundErrors()
public static void printBanner(Config config)
public static Config createConfig(String[] args)
protected void cleanUp()
public static void handleException(JPFException e)