Package org.mpi_sws.jmc.annotations.strategies

Annotation Interface JmcMeasureGraphCoverage

@Target({METHOD,TYPE}) @Retention(RUNTIME) public @interface JmcMeasureGraphCoverage
This annotation is used to configure the JMC graph coverage measurement for a test method or class.

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    debug
    Enable debug mode for the graph coverage measurement.
    long
    recordFrequency
    The frequency at which the graph coverage will be measured, in milliseconds.
    boolean
    recordGraphs
    Enable recording of the execution graphs.
    String
    recordPath
    The path where the execution graphs will be recorded.
    boolean
    recordPerIteration
    Record the graph coverage per iteration of the test.
    ChronoUnit
    recordUnit
    The frequency at which the graph coverage will be measured.

  • Element Details

    • debug

      boolean debug
      Enable debug mode for the graph coverage measurement.
      Default:
      false

    • recordGraphs

      boolean recordGraphs
      Enable recording of the execution graphs.
      Default:
      false

    • recordPath

      String recordPath
      The path where the execution graphs will be recorded.

      Default is "build/test-results/jmc-coverage".

      Default:
      "build/test-results/jmc-report"

    • recordUnit

      ChronoUnit recordUnit
      The frequency at which the graph coverage will be measured.

      Default is null.

      Default:
      SECONDS

    • recordFrequency

      long recordFrequency
      The frequency at which the graph coverage will be measured, in milliseconds.

      Should be specified with the recordUnit() parameter

      Default is null.

      Default:
      0L

    • recordPerIteration

      boolean recordPerIteration
      Record the graph coverage per iteration of the test. Should not be specified with `recordUnit` and `recordFrequency`
      Default:
      false