gov.nasa.jpf.report

Class ConsolePublisher

java.lang.Object

gov.nasa.jpf.report.Publisher

gov.nasa.jpf.report.ConsolePublisher

public class ConsolePublisher
extends Publisher

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	showCG
protected boolean	showCode
protected boolean	showLocation
protected boolean	showMethod
protected boolean	showSource
protected boolean	showSteps
static java.lang.String	STATISTICS_TOPIC

Fields inherited from class gov.nasa.jpf.report.Publisher

conf, CONSTRAINT, constraintItems, FINISHED, finishedItems, out, PROBE, probeItems, PROPERTY_VIOLATION, propertyViolationItems, reporter, START, startItems, TRANSITION, transitionItems

Constructor Summary

Constructors

Constructor and Description
ConsolePublisher(Config conf, Reporter reporter)

Method Summary

Modifier and Type	Method and Description
protected void	closeChannel()
java.lang.String	getName()
protected void	openChannel()
void	printStatistics(java.io.PrintWriter pw)
static void	printStatistics(java.io.PrintWriter pw, Reporter reporter)
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(java.lang.String topic)
void	publishTopicStart(java.lang.String topic)
protected void	publishTrace() this is done as part of the property violation reporting, i.e.
protected void	publishUser()

Methods inherited from class gov.nasa.jpf.report.Publisher

addExtension, formatDTG, formatHMS, getExtensions, getLastErrorId, getOut, getReportFileName, hasTopic, hasToReportStatistics, publishConstraintHit, publishEpilog, publishJava, publishProbe, publishProlog, publishPropertyViolation, publishTransition, setItems, setTopicItems, setTopicItems

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

showCG

protected boolean showCG

showSteps

protected boolean showSteps

showLocation

protected boolean showLocation

showSource

protected boolean showSource

showMethod

protected boolean showMethod

showCode

protected boolean showCode

STATISTICS_TOPIC

public static final java.lang.String STATISTICS_TOPIC

See Also:

Constant Field Values

Constructor Detail

ConsolePublisher

public ConsolePublisher(Config conf,
                        Reporter reporter)

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class Publisher

openChannel

protected void openChannel()

Overrides:

openChannel in class Publisher

closeChannel

protected void closeChannel()

Overrides:

closeChannel in class Publisher

publishTopicStart

public void publishTopicStart(java.lang.String topic)

Overrides:

publishTopicStart in class Publisher

publishTopicEnd

public void publishTopicEnd(java.lang.String topic)

Overrides:

publishTopicEnd in class Publisher

publishStart

public void publishStart()

Overrides:

publishStart in class Publisher

publishFinished

public void publishFinished()

Overrides:

publishFinished in class Publisher

publishJPF

protected void publishJPF()

Overrides:

publishJPF in class Publisher

publishDTG

protected void publishDTG()

Overrides:

publishDTG in class Publisher

publishUser

protected void publishUser()

Overrides:

publishUser in class Publisher

publishJPFConfig

protected void publishJPFConfig()

Overrides:

publishJPFConfig in class Publisher

publishPlatform

protected void publishPlatform()

Overrides:

publishPlatform in class Publisher

publishSuT

protected void publishSuT()

Overrides:

publishSuT in class Publisher

publishError

protected void publishError()

Overrides:

publishError in class Publisher

publishConstraint

protected void publishConstraint()

Overrides:

publishConstraint in class Publisher

publishResult

protected void publishResult()

Overrides:

publishResult in class Publisher

publishTrace

protected void publishTrace()

this is done as part of the property violation reporting, i.e. we have an error

Overrides:

publishTrace in class Publisher

publishOutput

protected void publishOutput()

Overrides:

publishOutput in class Publisher

publishSnapshot

protected void publishSnapshot()

Overrides:

publishSnapshot in class Publisher

printStatistics

public void printStatistics(java.io.PrintWriter pw)

printStatistics

public static void printStatistics(java.io.PrintWriter pw,
                                   Reporter reporter)

publishStatistics

public void publishStatistics()

Overrides:

publishStatistics in class Publisher