mockit.coverage.reporting.lineCoverage.LineSegmentsFormatter Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jmockit Show documentation
Show all versions of jmockit Show documentation
JMockit is a Java toolkit for automated developer testing.
It contains APIs for the creation of the objects to be tested, for mocking dependencies, and for faking external
APIs; JUnit (4 & 5) and TestNG test runners are supported.
It also contains an advanced code coverage tool.
The newest version!
/*
* Copyright (c) 2006 JMockit developers
* This file is subject to the terms of the MIT license (see LICENSE.txt).
*/
package mockit.coverage.reporting.lineCoverage;
import static java.lang.Character.isWhitespace;
import edu.umd.cs.findbugs.annotations.NonNull;
import edu.umd.cs.findbugs.annotations.Nullable;
import java.util.List;
import mockit.coverage.CallPoint;
import mockit.coverage.lines.BranchCoverageData;
import mockit.coverage.lines.LineCoverageData;
import mockit.coverage.lines.LineSegmentData;
import mockit.coverage.reporting.ListOfCallPoints;
import mockit.coverage.reporting.parsing.LineElement;
import mockit.coverage.reporting.parsing.LineParser;
import org.checkerframework.checker.index.qual.NonNegative;
final class LineSegmentsFormatter {
@Nullable
private final ListOfCallPoints listOfCallPoints;
@NonNull
private final StringBuilder formattedLine;
// Helper fields:
private int lineNumber;
@NonNegative
private int segmentIndex;
@Nullable
private LineElement element;
LineSegmentsFormatter(boolean withCallPoints, @NonNull StringBuilder formattedLine) {
listOfCallPoints = withCallPoints ? new ListOfCallPoints() : null;
this.formattedLine = formattedLine;
}
void formatSegments(@NonNull LineParser lineParser, @NonNull LineCoverageData lineData) {
lineNumber = lineParser.getNumber();
List branchData = lineData.getBranches();
int numSegments = lineData.getNumberOfSegments();
element = lineParser.getInitialElement().appendUntilNextCodeElement(formattedLine);
segmentIndex = 0;
appendUntilNextBranchingPoint(lineData);
while (element != null && segmentIndex < numSegments) {
LineSegmentData segmentData = segmentIndex == 0 ? lineData : branchData.get(segmentIndex - 1);
element = element.appendUntilNextCodeElement(formattedLine);
appendUntilNextBranchingPoint(segmentData);
}
if (element != null) {
element.appendAllBefore(formattedLine, null);
}
formattedLine.append("
");
if (listOfCallPoints != null) {
formattedLine.append(listOfCallPoints.getContents());
}
}
private void appendUntilNextBranchingPoint(@NonNull LineSegmentData segmentData) {
if (element != null) {
LineElement firstElement = element;
element = element.findNextBranchingPoint();
appendToFormattedLine(segmentData, firstElement);
if (element != null && element.isBranchingElement()) {
formattedLine.append(element.getText());
element = element.getNext();
}
}
}
private void appendToFormattedLine(@NonNull LineSegmentData segmentData, @NonNull LineElement firstElement) {
if (firstElement != element) {
appendStartTag(segmentData);
firstElement.appendAllBefore(formattedLine, element);
appendEndTag(segmentData);
segmentIndex++;
}
}
private void appendStartTag(@NonNull LineSegmentData segmentData) {
formattedLine.append("");
} else {
formattedLine.append("class='cvd'>");
}
} else {
formattedLine.append("class='uncvd'>");
}
}
private void appendEndTag(@NonNull LineSegmentData segmentData) {
int i = formattedLine.length() - 1;
while (isWhitespace(formattedLine.charAt(i))) {
i--;
}
formattedLine.insert(i + 1, "");
if (listOfCallPoints != null) {
List© 2015 - 2025 Weber Informatics LLC | Privacy Policy