Package mockit.coverage.lines
Class LineSegmentData
java.lang.Object
mockit.coverage.lines.LineSegmentData
- All Implemented Interfaces:
Serializable
- Direct Known Subclasses:
BranchCoverageData
,LineCoverageData
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionfinal boolean
final @org.checkerframework.checker.index.qual.NonNegative int
final boolean
boolean
isEmpty()
final void
-
Field Details
-
empty
protected boolean empty
-
-
Constructor Details
-
LineSegmentData
public LineSegmentData()
-
-
Method Details
-
markAsUnreachable
public final void markAsUnreachable() -
isEmpty
public boolean isEmpty() -
containsCallPoints
public final boolean containsCallPoints() -
getCallPoints
-
getExecutionCount
public final @org.checkerframework.checker.index.qual.NonNegative int getExecutionCount() -
isCovered
public final boolean isCovered()
-