Package eu.iv4xr.framework.mainConcepts

Class ObservationEvent

java.lang.Object

eu.iv4xr.framework.mainConcepts.ObservationEvent

All Implemented Interfaces:

Serializable, Parsable

Direct Known Subclasses:

ObservationEvent.CoveragePointEvent, ObservationEvent.TimeStampedObservationEvent

public class ObservationEvent
extends Object
implements Serializable, Parsable

Observation-events represent observations that a test-agent (TestAgent) collects. There are several types of observations, such as verdict and coverage-event, represented by different subclasses of this class.

Author:

Wish

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ObservationEvent.CoveragePointEvent	When performing a series of tests, we usually want to know how 'complete' the tests were.
static class	ObservationEvent.ScalarTracingEvent	This event is used to record a vector of (p,vs) where p is an agent's current position and vs is a bunch of scalar-values, organized as name-value pairs.
static class	ObservationEvent.TimeStampedObservationEvent	This class is used to represent observation-events that need to be time-stamped.
static class	ObservationEvent.VerdictEvent	When a test-agent interacts with a system-under-test, it will want to report things that meet its expectations, as well as things that violate its expectations (and may thus imply bugs).

Field Summary

Fields

Modifier and Type	Field	Description
protected String	familyName	A name to classify the event as belonging to some family of semantically similar events.

Constructor Summary

Constructors

Constructor	Description
ObservationEvent()
ObservationEvent(String family)	Create an observation-event with the given family-name.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
String	getFamilyName()	Get the family-name of this observation-event.
int	hashCode()
ObservationEvent	parse(String s)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

familyName

protected String familyName

A name to classify the event as belonging to some family of semantically similar events.

Constructor Details

ObservationEvent

ObservationEvent()

ObservationEvent

public ObservationEvent(String family)

Create an observation-event with the given family-name. Family-name is used to identify that the event belongs to some meaningful family.

Method Details

getFamilyName

public String getFamilyName()

Get the family-name of this observation-event.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

parse

public ObservationEvent parse(String s)

Specified by:

parse in interface Parsable