TestDataCollector.CoverageMap

java.lang.Object

eu.iv4xr.framework.mainConcepts.TestDataCollector.CoverageMap

All Implemented Interfaces:: Parsable

Enclosing class:: TestDataCollector

static class TestDataCollector.CoverageMap extends Object implements Parsable

This class is used to keep track which coverage-points were visited.

Field Summary

Fields

Modifier and Type

Field

Description

(package private) Map<String,Integer>

coverage
Constructor Summary

Constructors

Constructor

Description

CoverageMap()
Method Summary

Modifier and Type

Method

Description

(package private) Map<String,Integer>

getCoverage()

Parsable

parse(String s)

(package private) void

registerVisit(ObservationEvent.CoveragePointEvent e, TestDataCollector.CoverageMap collectiveCovMap)

(package private) void

reset()

Reset all counts to 0.

(package private) void

startTrackingCoveragePoint(String coveragePointId)

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- coverage
  
  Map<String,Integer> coverage
Constructor Details
- CoverageMap
  
  CoverageMap()
Method Details
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- parse
  
  public Parsable parse(String s)
  
  Specified by:
  
  parse in interface Parsable
- getCoverage
  
  Map<String,Integer> getCoverage()
- startTrackingCoveragePoint
  
  void startTrackingCoveragePoint(String coveragePointId)
- registerVisit
  
  void registerVisit(ObservationEvent.CoveragePointEvent e, TestDataCollector.CoverageMap collectiveCovMap)
- reset
  
  void reset()
  
  Reset all counts to 0.