public class ConsolePublisher extends Publisher
Modifier and Type | Field and Description |
---|---|
static String |
STATISTICS_TOPIC |
conf, constraintTopics, FINISHED, finishedTopics, out, PROPERTY_VIOLATION, propertyViolationTopics, reporter, START, startTopics, TRANSITION, transitionTopics
Constructor and Description |
---|
ConsolePublisher(Config conf,
Reporter reporter) |
Modifier and Type | Method and Description |
---|---|
protected void |
closeChannel() |
String |
getName() |
protected void |
openChannel() |
void |
printStatistics(PrintWriter pw) |
protected void |
publishConstraint() |
protected void |
publishDTG() |
protected void |
publishError() |
void |
publishFinished() |
protected void |
publishJPF() |
protected void |
publishJPFConfig() |
protected void |
publishOutput() |
protected void |
publishPlatform() |
protected void |
publishResult() |
protected void |
publishSnapshot() |
void |
publishStart() |
void |
publishStatistics() |
protected void |
publishSuT() |
void |
publishTopicEnd(String topic) |
void |
publishTopicStart(String topic) |
protected void |
publishTrace()
this is done as part of the property violation reporting, i.e.
|
protected void |
publishUser() |
addExtension, formatDTG, formatHMS, getExtensions, getLastErrorId, getOut, getReportFileName, hasTopic, hasToReportStatistics, publishConstraintHit, publishEpilog, publishJava, publishProlog, publishPropertyViolation, publishTransition, setTopics, setTopics, setTopics
public static final String STATISTICS_TOPIC
protected void openChannel()
openChannel
in class Publisher
protected void closeChannel()
closeChannel
in class Publisher
public void publishTopicStart(String topic)
publishTopicStart
in class Publisher
public void publishTopicEnd(String topic)
publishTopicEnd
in class Publisher
public void publishStart()
publishStart
in class Publisher
public void publishFinished()
publishFinished
in class Publisher
protected void publishJPF()
publishJPF
in class Publisher
protected void publishDTG()
publishDTG
in class Publisher
protected void publishUser()
publishUser
in class Publisher
protected void publishJPFConfig()
publishJPFConfig
in class Publisher
protected void publishPlatform()
publishPlatform
in class Publisher
protected void publishSuT()
publishSuT
in class Publisher
protected void publishError()
publishError
in class Publisher
protected void publishConstraint()
publishConstraint
in class Publisher
protected void publishResult()
publishResult
in class Publisher
protected void publishTrace()
publishTrace
in class Publisher
protected void publishOutput()
publishOutput
in class Publisher
protected void publishSnapshot()
publishSnapshot
in class Publisher
public void printStatistics(PrintWriter pw)
public void publishStatistics()
publishStatistics
in class Publisher