Uses of Class
eu.iv4xr.framework.mainConcepts.ObservationEvent.TimeStampedObservationEvent

Packages that use ObservationEvent.TimeStampedObservationEvent

Package	Description
eu.iv4xr.framework.mainConcepts

Uses of ObservationEvent.TimeStampedObservationEvent in eu.iv4xr.framework.mainConcepts

Subclasses of ObservationEvent.TimeStampedObservationEvent in eu.iv4xr.framework.mainConcepts

Modifier and Type	Class	Description
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.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).

Fields in eu.iv4xr.framework.mainConcepts with type parameters of type ObservationEvent.TimeStampedObservationEvent

Modifier and Type	Field	Description
(package private) List<ObservationEvent.TimeStampedObservationEvent>	TestDataCollector.EventTrace.trace

Methods in eu.iv4xr.framework.mainConcepts that return ObservationEvent.TimeStampedObservationEvent

Modifier and Type	Method	Description
ObservationEvent.TimeStampedObservationEvent	ObservationEvent.TimeStampedObservationEvent.parse(String s)
(package private) ObservationEvent.TimeStampedObservationEvent	ObservationEvent.TimeStampedObservationEvent.parseWorker(String[] parts)

Methods in eu.iv4xr.framework.mainConcepts that return types with arguments of type ObservationEvent.TimeStampedObservationEvent

Modifier and Type	Method	Description
List<ObservationEvent.TimeStampedObservationEvent>	TestDataCollector.getTestAgentTrace(String agentUniqueId)	Return the "trace" of the specified test-agent.

Methods in eu.iv4xr.framework.mainConcepts with parameters of type ObservationEvent.TimeStampedObservationEvent

Modifier and Type	Method	Description
void	TestAgent.registerEvent(ObservationEvent.TimeStampedObservationEvent event)	Register this event to be appended to a historical trace that this test agent keeps track.
(package private) void	TestDataCollector.EventTrace.registerEvent(ObservationEvent.TimeStampedObservationEvent e)	Add the event e to this event-trace.
void	TestDataCollector.registerEvent(String agentUniqueId, ObservationEvent.TimeStampedObservationEvent e)	Register an observation event.