Package mockit.coverage.lines

Class LineCoverageData

java.lang.Object

mockit.coverage.lines.LineSegmentData

mockit.coverage.lines.LineCoverageData

All Implemented Interfaces:

Serializable

public final class LineCoverageData
extends LineSegmentData

Coverage data gathered for a single executable line of code in a source file.

See Also:

• Serialized Form

Field Summary

Fields inherited from class mockit.coverage.lines.LineSegmentData

empty

Method Summary

Modifier and Type	Method	Description
@org.checkerframework.checker.index.qual.NonNegative int	addBranchingPoint(Label jumpSource, Label jumpTarget)
boolean	containsBranches()
BranchCoverageData	getBranchData(@org.checkerframework.checker.index.qual.NonNegative int index)
List<BranchCoverageData>	getBranches()
@org.checkerframework.checker.index.qual.NonNegative int	getNumberOfBranchingSourcesAndTargets()
@org.checkerframework.checker.index.qual.NonNegative int	getNumberOfCoveredBranchingSourcesAndTargets()
@org.checkerframework.checker.index.qual.NonNegative int	getNumberOfCoveredSegments()
@org.checkerframework.checker.index.qual.NonNegative int	getNumberOfSegments()

Methods inherited from class mockit.coverage.lines.LineSegmentData

containsCallPoints, getCallPoints, getExecutionCount, isCovered, isEmpty, markAsUnreachable

Methods inherited from class java.lang.Object

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

Method Details

addBranchingPoint

public @org.checkerframework.checker.index.qual.NonNegative int addBranchingPoint(@NonNull
 Label jumpSource,
 @NonNull
 Label jumpTarget)

getBranchData

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

containsBranches

public boolean containsBranches()

getBranches

@NonNull
public List<BranchCoverageData> getBranches()

getNumberOfSegments

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

getNumberOfCoveredSegments

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

getNumberOfBranchingSourcesAndTargets

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

getNumberOfCoveredBranchingSourcesAndTargets

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