gov.nasa.jpf.report

Class Publisher

java.lang.Object

gov.nasa.jpf.report.Publisher

Direct Known Subclasses:

ConsolePublisher, XMLPublisher

public abstract class Publisher
extends java.lang.Object

abstract base for all format specific publishers. Note that this interface also has to work for non-stream based reporting, i.e. within Eclipse (we don't want to re-parse from text reports there)

Field Summary

Fields

Modifier and Type	Field and Description
protected Config	conf
static int	CONSTRAINT
protected java.lang.String[]	constraintItems
static int	FINISHED
protected java.lang.String[]	finishedItems
protected java.io.PrintWriter	out to be initialized in openChannel NOTE - not all publishers need to have one
static int	PROBE
protected java.lang.String[]	probeItems
static int	PROPERTY_VIOLATION
protected java.lang.String[]	propertyViolationItems
protected Reporter	reporter
static int	START
protected java.lang.String[]	startItems
static int	TRANSITION
protected java.lang.String[]	transitionItems

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Publisher(Config conf, Reporter reporter)

Method Summary

Modifier and Type	Method and Description
void	addExtension(PublisherExtension ext)
protected void	closeChannel()
java.lang.String	formatDTG(java.util.Date date)
static java.lang.String	formatHMS(long t)
java.util.List<PublisherExtension>	getExtensions()
java.lang.String	getLastErrorId()
abstract java.lang.String	getName()
java.io.PrintWriter	getOut()
java.lang.String	getReportFileName(java.lang.String key)
boolean	hasTopic(java.lang.String topic)
boolean	hasToReportStatistics()
protected void	openChannel()
protected void	publishConstraint()
void	publishConstraintHit()
protected void	publishDTG()
protected void	publishEpilog()
protected void	publishError()
void	publishFinished()
protected void	publishJava()
protected void	publishJPF()
protected void	publishJPFConfig()
protected void	publishOutput()
protected void	publishPlatform()
void	publishProbe()
protected void	publishProlog()
void	publishPropertyViolation()
protected void	publishResult()
protected void	publishSnapshot()
void	publishStart()
protected void	publishStatistics()
protected void	publishSuT()
void	publishTopicEnd(java.lang.String topic)
void	publishTopicStart(java.lang.String topic)
protected void	publishTrace()
void	publishTransition()
protected void	publishUser()
void	setItems(int category, java.lang.String[] newTopics)
protected void	setTopicItems()
protected void	setTopicItems(java.lang.String name)

Methods inherited from class java.lang.Object

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

Field Detail

START

public static final int START

See Also:

Constant Field Values

TRANSITION

public static final int TRANSITION

See Also:

Constant Field Values

PROBE

public static final int PROBE

See Also:

Constant Field Values

CONSTRAINT

public static final int CONSTRAINT

See Also:

Constant Field Values

PROPERTY_VIOLATION

public static final int PROPERTY_VIOLATION

See Also:

Constant Field Values

FINISHED

public static final int FINISHED

See Also:

Constant Field Values

conf

protected Config conf

reporter

protected Reporter reporter

startItems

protected java.lang.String[] startItems

transitionItems

protected java.lang.String[] transitionItems

propertyViolationItems

protected java.lang.String[] propertyViolationItems

constraintItems

protected java.lang.String[] constraintItems

finishedItems

protected java.lang.String[] finishedItems

probeItems

protected java.lang.String[] probeItems

out

protected java.io.PrintWriter out

to be initialized in openChannel NOTE - not all publishers need to have one

Constructor Detail

Publisher

protected Publisher(Config conf,
                    Reporter reporter)

Method Detail

getOut

public java.io.PrintWriter getOut()

setItems

public void setItems(int category,
                     java.lang.String[] newTopics)

getName

public abstract java.lang.String getName()

setTopicItems

protected void setTopicItems()

setTopicItems

protected void setTopicItems(java.lang.String name)

addExtension

public void addExtension(PublisherExtension ext)

getExtensions

public java.util.List<PublisherExtension> getExtensions()

getLastErrorId

public java.lang.String getLastErrorId()

hasTopic

public boolean hasTopic(java.lang.String topic)

formatDTG

public java.lang.String formatDTG(java.util.Date date)

formatHMS

public static java.lang.String formatHMS(long t)

getReportFileName

public java.lang.String getReportFileName(java.lang.String key)

publishTopicStart

public void publishTopicStart(java.lang.String topic)

publishTopicEnd

public void publishTopicEnd(java.lang.String topic)

hasToReportStatistics

public boolean hasToReportStatistics()

openChannel

protected void openChannel()

closeChannel

protected void closeChannel()

publishStart

public void publishStart()

publishTransition

public void publishTransition()

publishConstraintHit

public void publishConstraintHit()

publishProbe

public void publishProbe()

publishPropertyViolation

public void publishPropertyViolation()

publishFinished

public void publishFinished()

publishProlog

protected void publishProlog()

publishEpilog

protected void publishEpilog()

publishJPF

protected void publishJPF()

publishJPFConfig

protected void publishJPFConfig()

publishPlatform

protected void publishPlatform()

publishUser

protected void publishUser()

publishDTG

protected void publishDTG()

publishJava

protected void publishJava()

publishSuT

protected void publishSuT()

publishResult

protected void publishResult()

publishError

protected void publishError()

publishConstraint

protected void publishConstraint()

publishTrace

protected void publishTrace()

publishOutput

protected void publishOutput()

publishSnapshot

protected void publishSnapshot()

publishStatistics

protected void publishStatistics()