Reporter

java.lang.Object
- gov.nasa.jpf.search.SearchListenerAdapter
- - gov.nasa.jpf.report.Reporter

All Implemented Interfaces:

JPFListener, SearchListener
```
public class Reporter
extends SearchListenerAdapter
```
this is our default report generator, which is heavily configurable via our standard properties. Note this gets instantiated and registered automatically via JPF.addListeners(), so you don't have to add it explicitly

Field Summary

Fields
Modifier and Type	Field and Description
`protected Config`	`conf`
`protected java.util.Date`	`finished`
`protected JPF`	`jpf`
`static java.util.logging.Logger`	`log`
`protected java.lang.Thread`	`probeTimer`
`protected java.util.List<Publisher>`	`publishers`
`protected Search`	`search`
`protected java.util.Date`	`started`
`protected Statistics`	`stat`
`protected VM`	`vm`

Constructor Summary

Constructors
Constructor and Description

Reporter(Config conf, JPF jpf)

Constructors
Constructor and Description
`Reporter(Config conf, JPF jpf)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addPublisher(Publisher newPublisher)`
`<T extends Publisher> boolean`	`addPublisherExtension(java.lang.Class<T> publisherCls, PublisherExtension e)`
`void`	`cleanUp()` called after the JPF run is finished.
`protected java.lang.Thread`	`createProbeIntervalTimer(int probeInterval)`
`java.lang.String`	`getArch()`
`Error`	`getCurrentError()`
`java.lang.String`	`getCurrentErrorId()`
`long`	`getElapsedTime()` in ms
`java.util.List<Error>`	`getErrors()`
`java.util.Date`	`getFinishedDate()`
`java.lang.String`	`getHostName()`
`java.lang.String`	`getJava()`
`java.lang.String`	`getJPFBanner()`
`java.lang.String`	`getLastSearchConstraint()`
`int`	`getNumberOfErrors()`
`java.lang.String`	`getOS()`
`Path`	`getPath()`
`java.util.List<Publisher>`	`getPublishers()`
`Statistics`	`getRegisteredStatistics()`
`protected java.lang.String`	`getRepositoryInfo()`
`protected java.lang.String`	`getRevision()`
`Search`	`getSearch()`
`java.util.Date`	`getStartDate()`
`Statistics`	`getStatistics()`
`Statistics`	`getStatisticsSnapshot()`
`java.lang.String`	`getSuT()`
`java.lang.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`	`publishProbe()`
`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`	`searchProbed(Search search)` there was a probe request, e.g.
`void`	`searchStarted(Search search)` we get this after we enter the search loop, but BEFORE the first forward
`<T extends Publisher> void`	`setPublisherItems(java.lang.Class<T> publisherCls, int category, java.lang.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

Methods inherited from class gov.nasa.jpf.search.SearchListenerAdapter
stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

log

public static java.util.logging.Logger log

conf
```
protected Config conf
```

jpf
```
protected JPF jpf
```

search
```
protected Search search
```

vm
```
protected VM vm
```

started
```
protected java.util.Date started
```

finished
```
protected java.util.Date finished
```

stat
```
protected Statistics stat
```

publishers

protected java.util.List<Publisher> publishers

probeTimer
```
protected java.lang.Thread probeTimer
```

Constructor Detail

Reporter

public Reporter(Config conf,
                JPF jpf)

Method Detail
- createProbeIntervalTimer
```
protected java.lang.Thread createProbeIntervalTimer(int probeInterval)
```
- cleanUp
```
public void cleanUp()
```
  called after the JPF run is finished. Shouldn't be public, but is called by JPF
- getRegisteredStatistics
```
public Statistics getRegisteredStatistics()
```
- addPublisher
```
public void addPublisher(Publisher newPublisher)
```
- getPublishers
```
public java.util.List<Publisher> getPublishers()
```
- hasToReportTrace
```
public boolean hasToReportTrace()
```
- hasToReportOutput
```
public boolean hasToReportOutput()
```
- addPublisherExtension
```
public <T extends Publisher> boolean addPublisherExtension(java.lang.Class<T> publisherCls,
                                                           PublisherExtension e)
```
- setPublisherItems
```
public <T extends Publisher> void setPublisherItems(java.lang.Class<T> publisherCls,
                                                    int category,
                                                    java.lang.String[] topics)
```
- publishStart
```
protected void publishStart()
```
- publishTransition
```
protected void publishTransition()
```
- publishPropertyViolation
```
protected void publishPropertyViolation()
```
- publishConstraintHit
```
protected void publishConstraintHit()
```
- publishFinished
```
protected void publishFinished()
```
- publishProbe
```
protected void publishProbe()
```
- searchStarted
```
public void searchStarted(Search search)
```
  Description copied from interface: SearchListener
  
  we get this after we enter the search loop, but BEFORE the first forward
  
  Specified by:
  
  searchStarted in interface SearchListener
  
  Overrides:
  
  searchStarted in class SearchListenerAdapter
- stateAdvanced
```
public void stateAdvanced(Search search)
```
  Description copied from interface: SearchListener
  
  got the next state Note - this will be notified before any potential propertyViolated, in which case the currentError will be already set
  
  Specified by:
  
  stateAdvanced in interface SearchListener
  
  Overrides:
  
  stateAdvanced in class SearchListenerAdapter
- searchConstraintHit
```
public void searchConstraintHit(Search search)
```
  Description copied from interface: SearchListener
  
  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
  
  Specified by:
  
  searchConstraintHit in interface SearchListener
  
  Overrides:
  
  searchConstraintHit in class SearchListenerAdapter
- searchProbed
```
public void searchProbed(Search search)
```
  Description copied from interface: SearchListener
  
  there was a probe request, e.g. from a periodical timer note this is called synchronously from within the JPF execution loop (after instruction execution)
  
  Specified by:
  
  searchProbed in interface SearchListener
  
  Overrides:
  
  searchProbed in class SearchListenerAdapter
- propertyViolated
```
public void propertyViolated(Search search)
```
  Description copied from interface: SearchListener
  
  JPF encountered a property violation. Note - this is always preceeded by a stateAdvanced
  
  Specified by:
  
  propertyViolated in interface SearchListener
  
  Overrides:
  
  propertyViolated in class SearchListenerAdapter
- searchFinished
```
public void searchFinished(Search search)
```
  Description copied from interface: SearchListener
  
  we're done, either with or without a preceeding error
  
  Specified by:
  
  searchFinished in interface SearchListener
  
  Overrides:
  
  searchFinished in class SearchListenerAdapter
- getStartDate
```
public java.util.Date getStartDate()
```
- getFinishedDate
```
public java.util.Date getFinishedDate()
```
- getVM
```
public VM getVM()
```
- getSearch
```
public Search getSearch()
```
- getErrors
```
public java.util.List<Error> getErrors()
```
- getCurrentError
```
public Error getCurrentError()
```
- getLastSearchConstraint
```
public java.lang.String getLastSearchConstraint()
```
- getCurrentErrorId
```
public java.lang.String getCurrentErrorId()
```
- getNumberOfErrors
```
public int getNumberOfErrors()
```
- getStatistics
```
public Statistics getStatistics()
```
- getStatisticsSnapshot
```
public Statistics getStatisticsSnapshot()
```
- getElapsedTime
```
public long getElapsedTime()
```
  in ms
- getPath
```
public Path getPath()
```
- getJPFBanner
```
public java.lang.String getJPFBanner()
```
- getRevision
```
protected java.lang.String getRevision()
```
- getRepositoryInfo
```
protected java.lang.String getRepositoryInfo()
```
- getHostName
```
public java.lang.String getHostName()
```
- getUser
```
public java.lang.String getUser()
```
- getSuT
```
public java.lang.String getSuT()
```
- getJava
```
public java.lang.String getJava()
```
- getArch
```
public java.lang.String getArch()
```
- getOS
```
public java.lang.String getOS()
```

Class Reporter

Field Summary

Constructor Summary

Method Summary

Methods inherited from class gov.nasa.jpf.search.SearchListenerAdapter

Methods inherited from class java.lang.Object

Field Detail

log

conf

jpf

search

vm

started

finished

stat

publishers

probeTimer

Constructor Detail

Reporter

Method Detail

createProbeIntervalTimer

cleanUp

getRegisteredStatistics

addPublisher

getPublishers

hasToReportTrace

hasToReportOutput

addPublisherExtension

setPublisherItems

publishStart

publishTransition

publishPropertyViolation

publishConstraintHit

publishFinished

publishProbe

searchStarted

stateAdvanced

searchConstraintHit

searchProbed

propertyViolated

searchFinished

getStartDate

getFinishedDate

getVM

getSearch

getErrors

getCurrentError

getLastSearchConstraint

getCurrentErrorId

getNumberOfErrors

getStatistics

getStatisticsSnapshot

getElapsedTime

getPath

getJPFBanner

getRevision

getRepositoryInfo

getHostName

getUser

getSuT

getJava

getArch

getOS