gov.nasa.jpf.report

Class XMLPublisher

java.lang.Object

gov.nasa.jpf.report.Publisher

gov.nasa.jpf.report.XMLPublisher

public class XMLPublisher
extends Publisher

Field Summary

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
XMLPublisher(Config conf, Reporter reporter)

Method Summary

Modifier and Type	Method and Description
protected void	closeChannel()
java.lang.String	getName()
protected void	openChannel()
protected void	publishDTG()
protected void	publishEpilog()
protected void	publishJPF()
protected void	publishJPFConfig()
protected void	publishOutput()
protected void	publishPlatform()
protected void	publishProlog()
protected void	publishResult()
protected void	publishSnapshot()
protected void	publishStatistics()
protected void	publishSuT()
void	publishTopicEnd(java.lang.String topic)
void	publishTopicStart(java.lang.String topic)
protected void	publishTrace()
protected void	publishUser()

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

addExtension, formatDTG, formatHMS, getExtensions, getLastErrorId, getOut, getReportFileName, hasTopic, hasToReportStatistics, publishConstraint, publishConstraintHit, publishError, publishFinished, publishJava, publishProbe, publishPropertyViolation, publishStart, publishTransition, setItems, setTopicItems, setTopicItems

Methods inherited from class java.lang.Object

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

Constructor Detail

XMLPublisher

public XMLPublisher(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

publishProlog

protected void publishProlog()

Overrides:

publishProlog 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

publishEpilog

protected void publishEpilog()

Overrides:

publishEpilog in class Publisher

publishJPF

protected void publishJPF()

Overrides:

publishJPF in class Publisher

publishJPFConfig

protected void publishJPFConfig()

Overrides:

publishJPFConfig in class Publisher

publishPlatform

protected void publishPlatform()

Overrides:

publishPlatform in class Publisher

publishUser

protected void publishUser()

Overrides:

publishUser in class Publisher

publishDTG

protected void publishDTG()

Overrides:

publishDTG in class Publisher

publishSuT

protected void publishSuT()

Overrides:

publishSuT in class Publisher

publishResult

protected void publishResult()

Overrides:

publishResult in class Publisher

publishTrace

protected void publishTrace()

Overrides:

publishTrace in class Publisher

publishOutput

protected void publishOutput()

Overrides:

publishOutput in class Publisher

publishSnapshot

protected void publishSnapshot()

Overrides:

publishSnapshot in class Publisher

publishStatistics

protected void publishStatistics()

Overrides:

publishStatistics in class Publisher