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

Packages that use ObservationEvent.CoveragePointEvent

Package	Description
eu.iv4xr.framework.mainConcepts

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

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

Modifier and Type	Method	Description
void	TestAgent.registerVisit(ObservationEvent.CoveragePointEvent e)	Register a visit to e for the purpose of test-coverage tracking.
(package private) void	TestDataCollector.CoverageMap.registerVisit(ObservationEvent.CoveragePointEvent e, TestDataCollector.CoverageMap collectiveCovMap)
void	TestDataCollector.registerVisit(String agentUniqueId, ObservationEvent.CoveragePointEvent e)	Register a visit to a coverage-point by a test-agent.