Class SectionCoverage

java.lang.Object
com.oracle.truffle.tools.coverage.SectionCoverage

public final class SectionCoverage extends Object
Coverage data of a particular SourceSection.
Since:
19.3.0
  • Method Details

    • getSourceSection

      public com.oracle.truffle.api.source.SourceSection getSourceSection()
      Returns:
      The source section this coverage relates to.
      Since:
      19.3.0
    • isCovered

      public boolean isCovered()
      Returns:
      Was this root covered (i.e. executed) during the tracking execution.
      Since:
      19.3.0
    • getCount

      public long getCount()
      This value is only available if the tracker config specified to count executions.
      Returns:
      How many times was the corresponding SourceSection executed. -1 if counting was disabled.
      Since:
      19.3.0