Package mockit.coverage.data

Class FileCoverageData

java.lang.Object

mockit.coverage.data.FileCoverageData

All Implemented Interfaces:

Serializable

public final class FileCoverageData
extends Object
implements Serializable

Coverage data gathered for the lines, branching points, and fields of a single source file.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
PerFileDataCoverage	dataCoverageInfo
final @org.checkerframework.checker.index.qual.NonNegative int	index
String	kindOfTopLevelType
PerFileLineCoverage	lineCoverageInfo

Method Summary

Modifier and Type	Method	Description
int	getCoveragePercentage()
@org.checkerframework.checker.index.qual.NonNegative int	getCoveredItems()
PerFileLineCoverage	getLineCoverageData()
@org.checkerframework.checker.index.qual.NonNegative int	getTotalItems()

Methods inherited from class java.lang.Object

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

Field Details

lineCoverageInfo

@NonNull
public PerFileLineCoverage lineCoverageInfo

dataCoverageInfo

@NonNull
public PerFileDataCoverage dataCoverageInfo

index

public final @org.checkerframework.checker.index.qual.NonNegative int index

kindOfTopLevelType

@Nullable
public String kindOfTopLevelType

Method Details

getLineCoverageData

@NonNull
public PerFileLineCoverage getLineCoverageData()

getTotalItems

public @org.checkerframework.checker.index.qual.NonNegative int getTotalItems()

getCoveredItems

public @org.checkerframework.checker.index.qual.NonNegative int getCoveredItems()

getCoveragePercentage

public int getCoveragePercentage()