Package mockit.coverage.lines

Class PerFileLineCoverage

java.lang.Object

mockit.coverage.lines.PerFileLineCoverage

All Implemented Interfaces:

Serializable, PerFileCoverage

public final class PerFileLineCoverage
extends Object
implements PerFileCoverage

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
PerFileLineCoverage()

Method Summary

Modifier and Type	Method	Description
boolean	acceptsAdditionalCallPoints(@org.checkerframework.checker.index.qual.NonNegative int line)
boolean	acceptsAdditionalCallPoints(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int branchIndex)
void	addLine(@org.checkerframework.checker.index.qual.NonNegative int line)
BranchCoverageData	getBranchData(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int index)
int	getCoveragePercentage()
@org.checkerframework.checker.index.qual.NonNegative int	getCoveredItems()
@org.checkerframework.checker.index.qual.NonNegative int	getExecutableLineCount()
int	getExecutionCount(@org.checkerframework.checker.index.qual.NonNegative int line)
@org.checkerframework.checker.index.qual.NonNegative int	getLineCount()
LineCoverageData	getLineData(@org.checkerframework.checker.index.qual.NonNegative int line)
@org.checkerframework.checker.index.qual.NonNegative int	getNumberOfBranchingSourcesAndTargets(@org.checkerframework.checker.index.qual.NonNegative int line)
@org.checkerframework.checker.index.qual.NonNegative int	getNumberOfSegments(@org.checkerframework.checker.index.qual.NonNegative int line)
LineCoverageData	getOrCreateLineData(@org.checkerframework.checker.index.qual.NonNegative int line)
@org.checkerframework.checker.index.qual.NonNegative int	getTotalItems()
boolean	hasLineData(@org.checkerframework.checker.index.qual.NonNegative int line)
boolean	hasValidBranch(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int branchIndex)
void	markLastLineSegmentAsEmpty(@org.checkerframework.checker.index.qual.NonNegative int line)
void	markLineAsReachable(@org.checkerframework.checker.index.qual.NonNegative int line)
void	mergeInformation(PerFileLineCoverage previousCoverage)
@org.checkerframework.checker.index.qual.NonNegative int	registerExecution(@org.checkerframework.checker.index.qual.NonNegative int line, @org.checkerframework.checker.index.qual.NonNegative int branchIndex, CallPoint callPoint)
@org.checkerframework.checker.index.qual.NonNegative int	registerExecution(@org.checkerframework.checker.index.qual.NonNegative int line, CallPoint callPoint)

Methods inherited from class java.lang.Object

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

Constructor Details

PerFileLineCoverage

public PerFileLineCoverage()

Method Details

addLine

public void addLine(@org.checkerframework.checker.index.qual.NonNegative int line)

getOrCreateLineData

@NonNull
public LineCoverageData getOrCreateLineData(@org.checkerframework.checker.index.qual.NonNegative int line)

getBranchData

@NonNull
public BranchCoverageData getBranchData(@org.checkerframework.checker.index.qual.NonNegative int line,
 @org.checkerframework.checker.index.qual.NonNegative int index)

markLastLineSegmentAsEmpty

public void markLastLineSegmentAsEmpty(@org.checkerframework.checker.index.qual.NonNegative int line)

acceptsAdditionalCallPoints

public boolean acceptsAdditionalCallPoints(@org.checkerframework.checker.index.qual.NonNegative int line)

registerExecution

public @org.checkerframework.checker.index.qual.NonNegative int registerExecution(@org.checkerframework.checker.index.qual.NonNegative int line,
 @Nullable
 CallPoint callPoint)

hasValidBranch

public boolean hasValidBranch(@org.checkerframework.checker.index.qual.NonNegative int line,
 @org.checkerframework.checker.index.qual.NonNegative int branchIndex)

acceptsAdditionalCallPoints

public boolean acceptsAdditionalCallPoints(@org.checkerframework.checker.index.qual.NonNegative int line,
 @org.checkerframework.checker.index.qual.NonNegative int branchIndex)

registerExecution

public @org.checkerframework.checker.index.qual.NonNegative int registerExecution(@org.checkerframework.checker.index.qual.NonNegative int line,
 @org.checkerframework.checker.index.qual.NonNegative int branchIndex,
 @Nullable
 CallPoint callPoint)

getLineCount

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

getExecutableLineCount

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

hasLineData

public boolean hasLineData(@org.checkerframework.checker.index.qual.NonNegative int line)

getLineData

@NonNull
public LineCoverageData getLineData(@org.checkerframework.checker.index.qual.NonNegative int line)

markLineAsReachable

public void markLineAsReachable(@org.checkerframework.checker.index.qual.NonNegative int line)

getExecutionCount

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

getTotalItems

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

Specified by:

getTotalItems in interface PerFileCoverage

getCoveredItems

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

Specified by:

getCoveredItems in interface PerFileCoverage

getCoveragePercentage

public int getCoveragePercentage()

Specified by:

getCoveragePercentage in interface PerFileCoverage

getNumberOfSegments

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

getNumberOfBranchingSourcesAndTargets

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

mergeInformation

public void mergeInformation(@NonNull
 PerFileLineCoverage previousCoverage)