public class XMLPublisher extends Publisher
conf, constraintTopics, FINISHED, finishedTopics, out, PROPERTY_VIOLATION, propertyViolationTopics, reporter, START, startTopics, TRANSITION, transitionTopics
Constructor and Description |
---|
XMLPublisher(Config conf,
Reporter reporter) |
Modifier and Type | Method and Description |
---|---|
protected void |
closeChannel() |
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(String topic) |
void |
publishTopicStart(String topic) |
protected void |
publishTrace() |
protected void |
publishUser() |
addExtension, formatDTG, formatHMS, getExtensions, getLastErrorId, getOut, getReportFileName, hasTopic, hasToReportStatistics, publishConstraint, publishConstraintHit, publishError, publishFinished, publishJava, publishPropertyViolation, publishStart, publishTransition, setTopics, setTopics, setTopics
protected void openChannel()
openChannel
in class Publisher
protected void closeChannel()
closeChannel
in class Publisher
protected void publishProlog()
publishProlog
in class Publisher
public void publishTopicStart(String topic)
publishTopicStart
in class Publisher
public void publishTopicEnd(String topic)
publishTopicEnd
in class Publisher
protected void publishEpilog()
publishEpilog
in class Publisher
protected void publishJPF()
publishJPF
in class Publisher
protected void publishJPFConfig()
publishJPFConfig
in class Publisher
protected void publishPlatform()
publishPlatform
in class Publisher
protected void publishUser()
publishUser
in class Publisher
protected void publishDTG()
publishDTG
in class Publisher
protected void publishSuT()
publishSuT
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
protected void publishStatistics()
publishStatistics
in class Publisher