public class Reporter extends SearchListenerAdapter
Modifier and Type | Field and Description |
---|---|
protected Config |
conf |
protected Date |
finished |
protected JPF |
jpf |
static Logger |
log |
protected List<Publisher> |
publishers |
protected Search |
search |
protected Date |
started |
protected Statistics |
stat |
protected VM |
vm |
Modifier and Type | Method and Description |
---|---|
void |
addPublisher(Publisher newPublisher) |
<T extends Publisher> |
addPublisherExtension(Class<T> publisherCls,
PublisherExtension e) |
void |
cleanUp()
called after the JPF run is finished.
|
String |
getArch() |
Error |
getCurrentError() |
String |
getCurrentErrorId() |
long |
getElapsedTime()
in ms
|
List<Error> |
getErrors() |
Date |
getFinishedDate() |
String |
getHostName() |
String |
getJava() |
String |
getJPFBanner() |
String |
getLastSearchConstraint() |
int |
getNumberOfErrors() |
String |
getOS() |
Path |
getPath() |
List<Publisher> |
getPublishers() |
Statistics |
getRegisteredStatistics() |
protected String |
getRepositoryInfo() |
protected String |
getRevision() |
Search |
getSearch() |
Date |
getStartDate() |
Statistics |
getStatistics() |
Statistics |
getStatisticsSnapshot() |
String |
getSuT() |
String |
getUser() |
VM |
getVM() |
boolean |
hasToReportOutput() |
boolean |
hasToReportTrace() |
void |
propertyViolated(Search search)
JPF encountered a property violation.
|
protected void |
publishConstraintHit() |
protected void |
publishFinished() |
protected void |
publishPropertyViolation() |
protected void |
publishStart() |
protected void |
publishTransition() |
void |
searchConstraintHit(Search search)
there was some contraint hit in the search, we back out
could have been turned into a property, but usually is an attribute of
the search, not the application
|
void |
searchFinished(Search search)
we're done, either with or without a preceeding error
|
void |
searchStarted(Search search)
we get this after we enter the search loop, but BEFORE the first forward
|
<T extends Publisher> |
setPublisherTopics(Class<T> publisherCls,
int category,
String[] topics) |
void |
stateAdvanced(Search search)
got the next state
Note - this will be notified before any potential propertyViolated, in which
case the currentError will be already set
|
stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored
public static Logger log
protected Config conf
protected JPF jpf
protected Search search
protected VM vm
protected Date started
protected Date finished
protected Statistics stat
public void cleanUp()
public Statistics getRegisteredStatistics()
public void addPublisher(Publisher newPublisher)
public boolean hasToReportTrace()
public boolean hasToReportOutput()
public <T extends Publisher> boolean addPublisherExtension(Class<T> publisherCls, PublisherExtension e)
public <T extends Publisher> void setPublisherTopics(Class<T> publisherCls, int category, String[] topics)
protected void publishStart()
protected void publishTransition()
protected void publishPropertyViolation()
protected void publishConstraintHit()
protected void publishFinished()
public void searchStarted(Search search)
SearchListener
searchStarted
in interface SearchListener
searchStarted
in class SearchListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class SearchListenerAdapter
public void searchConstraintHit(Search search)
SearchListener
searchConstraintHit
in interface SearchListener
searchConstraintHit
in class SearchListenerAdapter
public void propertyViolated(Search search)
SearchListener
propertyViolated
in interface SearchListener
propertyViolated
in class SearchListenerAdapter
public void searchFinished(Search search)
SearchListener
searchFinished
in interface SearchListener
searchFinished
in class SearchListenerAdapter
public Date getStartDate()
public Date getFinishedDate()
public VM getVM()
public Search getSearch()
public Error getCurrentError()
public String getLastSearchConstraint()
public String getCurrentErrorId()
public int getNumberOfErrors()
public Statistics getStatistics()
public Statistics getStatisticsSnapshot()
public long getElapsedTime()
public Path getPath()
public String getJPFBanner()
protected String getRevision()
protected String getRepositoryInfo()
public String getHostName()
public String getUser()
public String getSuT()
public String getJava()
public String getArch()
public String getOS()