Package com.oracle.truffle.tools.coverage

Class CoverageTracker.Config

java.lang.Object

com.oracle.truffle.tools.coverage.CoverageTracker.Config

Enclosing class:

CoverageTracker

public static class CoverageTracker.Config
extends Object

Configuration for the CoverageTracker. Specifies the filter for which source sections to include in tracking as well as whether to keep track of how many times a particular source section was executed.

Since:

19.3.0

Constructor Summary

Constructors

Constructor	Description
Config(com.oracle.truffle.api.instrumentation.SourceSectionFilter sourceSectionFilter, boolean count)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Config

public Config(com.oracle.truffle.api.instrumentation.SourceSectionFilter sourceSectionFilter,
 boolean count)