gov.nasa.jpf.report

Class PublisherExtensionAdapter

java.lang.Object

gov.nasa.jpf.report.PublisherExtensionAdapter

All Implemented Interfaces:

PublisherExtension

public class PublisherExtensionAdapter
extends java.lang.Object
implements PublisherExtension

this is just a little helper class to ease standalone PublisherExtension implementations

Constructor Summary

Constructors

Constructor and Description
PublisherExtensionAdapter()

Method Summary

Modifier and Type	Method and Description
void	publishConstraintHit(Publisher publisher)
void	publishFinished(Publisher publisher)
void	publishProbe(Publisher publisher)
void	publishPropertyViolation(Publisher publisher)
void	publishStart(Publisher publisher)
void	publishTransition(Publisher publisher)

Methods inherited from class java.lang.Object

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

Constructor Detail

PublisherExtensionAdapter

public PublisherExtensionAdapter()

Method Detail

publishConstraintHit

public void publishConstraintHit(Publisher publisher)

Specified by:

publishConstraintHit in interface PublisherExtension

publishFinished

public void publishFinished(Publisher publisher)

Specified by:

publishFinished in interface PublisherExtension

publishPropertyViolation

public void publishPropertyViolation(Publisher publisher)

Specified by:

publishPropertyViolation in interface PublisherExtension

publishStart

public void publishStart(Publisher publisher)

Specified by:

publishStart in interface PublisherExtension

publishTransition

public void publishTransition(Publisher publisher)

Specified by:

publishTransition in interface PublisherExtension

publishProbe

public void publishProbe(Publisher publisher)

Specified by:

publishProbe in interface PublisherExtension