Package eu.iv4xr.framework.mainConcepts

Class ObservationEvent.VerdictEvent

java.lang.Object

eu.iv4xr.framework.mainConcepts.ObservationEvent

eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

eu.iv4xr.framework.mainConcepts.ObservationEvent.VerdictEvent

All Implemented Interfaces:

Serializable, Parsable

Enclosing class:

ObservationEvent

public static class ObservationEvent.VerdictEvent
extends ObservationEvent.TimeStampedObservationEvent

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). Such discoveries can be reported as instances of this class VerdictEvent.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class eu.iv4xr.framework.mainConcepts.ObservationEvent

ObservationEvent.CoveragePointEvent, ObservationEvent.ScalarTracingEvent, ObservationEvent.TimeStampedObservationEvent, ObservationEvent.VerdictEvent

Field Summary

Fields

Modifier and Type	Field	Description
protected Boolean	verdict	A "true" represents a positive verdict, which should be given when a test-agent observes something that is correct, as it should be.

Fields inherited from class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

info, timestamp

Fields inherited from class eu.iv4xr.framework.mainConcepts.ObservationEvent

familyName

Constructor Summary

Constructors

Constructor	Description
VerdictEvent()
VerdictEvent(String familyName, String info, Boolean v)	Create a verdict-event.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
boolean	isFail()	True if this verdict is a negative verdict.
boolean	isPass()	True if this verdict is a positive verdict.
boolean	isUndecided()	True if this verdict is neither positive nor negative.
ObservationEvent.VerdictEvent	parse(String s)
String	toString()

Methods inherited from class eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

getInfo, getTimestamp, parseWorker

Methods inherited from class eu.iv4xr.framework.mainConcepts.ObservationEvent

getFamilyName

Methods inherited from class java.lang.Object

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

Field Details

verdict

protected Boolean verdict

A "true" represents a positive verdict, which should be given when a test-agent observes something that is correct, as it should be. A "false" on the other hand, represents a negative verdict, which should be given when the test-agent observes something that violates correctness. Null represents undecided.

Constructor Details

VerdictEvent

VerdictEvent()

VerdictEvent

public VerdictEvent(String familyName,
 String info,
 Boolean v)

Create a verdict-event.

Parameters:

familyName - A name to classify the verdict-family this verdict can be said to belong to.

info - Additional descriptive string explaining the verdict.

v - true if the verdict is positive, false if negative, null if undecided.

Method Details

isPass

public boolean isPass()

True if this verdict is a positive verdict.

isFail

public boolean isFail()

True if this verdict is a negative verdict.

isUndecided

public boolean isUndecided()

True if this verdict is neither positive nor negative.

Returns:

equals

public boolean equals(Object o)

Overrides:

equals in class ObservationEvent.TimeStampedObservationEvent

hashCode

public int hashCode()

Overrides:

hashCode in class ObservationEvent.TimeStampedObservationEvent

toString

public String toString()

Overrides:

toString in class ObservationEvent.TimeStampedObservationEvent

parse

public ObservationEvent.VerdictEvent parse(String s)

Specified by:

parse in interface Parsable

Overrides:

parse in class ObservationEvent.TimeStampedObservationEvent