Class CoverageOutputFormatter.JsonCoverageFormatter

java.lang.Object

org.ek9lang.cli.CoverageOutputFormatter.JsonCoverageFormatter

All Implemented Interfaces:

CoverageOutputFormatter

Enclosing interface:

CoverageOutputFormatter

public static final class CoverageOutputFormatter.JsonCoverageFormatter
extends Object
implements CoverageOutputFormatter

JSON coverage format for AI/tool integration.

Example output:

{
  "coverage": {
    "methods": { "percentage": 100.0, "covered": 5, "total": 5 },
    "lines": { "percentage": 87.5, "covered": 7, "total": 8 },
    "branches": { "percentage": 75.0, "covered": 3, "total": 4 },
    "overall": 87.5,
    "probesHit": 7,
    "probesTotal": 8,
    "modules": {
      "my.module": { "coverage": 100.0, "hit": 4, "total": 4 }
    }
  }
}

Nested Class Summary

Nested classes/interfaces inherited from interface CoverageOutputFormatter

CoverageOutputFormatter.DetailedCoverageFormatter, CoverageOutputFormatter.HtmlCoverageFormatter, CoverageOutputFormatter.HumanCoverageFormatter, CoverageOutputFormatter.JacocoXmlCoverageFormatter, CoverageOutputFormatter.JsonCoverageFormatter, CoverageOutputFormatter.TerseCoverageFormatter, CoverageOutputFormatter.VerboseCoverageFormatter

Field Summary

Fields inherited from interface CoverageOutputFormatter

COVERAGE_THRESHOLD

Constructor Summary

Constructors

Constructor	Description
JsonCoverageFormatter()

Method Summary

Modifier and Type	Method	Description
void	format(PrintStream out)	Format and output coverage results.
void	formatToFile(Path outputFile)	Write coverage results to a JSON file.

Methods inherited from class Object

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

Constructor Details

JsonCoverageFormatter

public JsonCoverageFormatter()

Method Details

format

public void format(PrintStream out)

Description copied from interface: CoverageOutputFormatter

Format and output coverage results.

Specified by:

format in interface CoverageOutputFormatter

Parameters:

out - The output stream to write to

formatToFile

public void formatToFile(Path outputFile)

Write coverage results to a JSON file.

Specified by:

formatToFile in interface CoverageOutputFormatter

Parameters:

outputFile - The file path to write to