public abstract class Publisher extends Object
Modifier and Type | Field and Description |
---|---|
protected Config |
conf |
protected String[] |
constraintTopics |
static int |
FINISHED |
protected String[] |
finishedTopics |
protected PrintWriter |
out
to be initialized in openChannel
NOTE - not all publishers need to have one
|
static int |
PROPERTY_VIOLATION |
protected String[] |
propertyViolationTopics |
protected Reporter |
reporter |
static int |
START |
protected String[] |
startTopics |
static int |
TRANSITION |
protected String[] |
transitionTopics |
Modifier | Constructor and Description |
---|---|
protected |
Publisher(Config conf,
Reporter reporter) |
Modifier and Type | Method and Description |
---|---|
void |
addExtension(PublisherExtension ext) |
protected void |
closeChannel() |
String |
formatDTG(Date date) |
static String |
formatHMS(long t) |
List<PublisherExtension> |
getExtensions() |
String |
getLastErrorId() |
abstract String |
getName() |
PrintWriter |
getOut() |
String |
getReportFileName(String key) |
boolean |
hasTopic(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() |
protected void |
publishProlog() |
void |
publishPropertyViolation() |
protected void |
publishResult() |
protected void |
publishSnapshot() |
void |
publishStart() |
protected void |
publishStatistics() |
protected void |
publishSuT() |
void |
publishTopicEnd(String topic) |
void |
publishTopicStart(String topic) |
protected void |
publishTrace() |
void |
publishTransition() |
protected void |
publishUser() |
protected void |
setTopics() |
void |
setTopics(int category,
String[] newTopics) |
protected void |
setTopics(String name) |
public static final int START
public static final int TRANSITION
public static final int PROPERTY_VIOLATION
public static final int FINISHED
protected Config conf
protected Reporter reporter
protected String[] startTopics
protected String[] transitionTopics
protected String[] propertyViolationTopics
protected String[] constraintTopics
protected String[] finishedTopics
protected PrintWriter out
public PrintWriter getOut()
public void setTopics(int category, String[] newTopics)
public abstract String getName()
protected void setTopics()
protected void setTopics(String name)
public void addExtension(PublisherExtension ext)
public List<PublisherExtension> getExtensions()
public String getLastErrorId()
public boolean hasTopic(String topic)
public static String formatHMS(long t)
public void publishTopicStart(String topic)
public void publishTopicEnd(String topic)
public boolean hasToReportStatistics()
protected void openChannel()
protected void closeChannel()
public void publishStart()
public void publishTransition()
public void publishConstraintHit()
public void publishPropertyViolation()
public void publishFinished()
protected void publishProlog()
protected void publishEpilog()
protected void publishJPF()
protected void publishJPFConfig()
protected void publishPlatform()
protected void publishUser()
protected void publishDTG()
protected void publishJava()
protected void publishSuT()
protected void publishResult()
protected void publishError()
protected void publishConstraint()
protected void publishTrace()
protected void publishOutput()
protected void publishSnapshot()
protected void publishStatistics()