private void handleCoveredEdge(
final CFAEdge pEdge, final Map<String, FileCoverageInformation> pCollectors) {
FileLocation loc = pEdge.getFileLocation();
if (loc.getStartingLineNumber() == 0) {
return;
}
if (pEdge instanceof ADeclarationEdge
&& (((ADeclarationEdge) pEdge).getDeclaration() instanceof AFunctionDeclaration)) {
return;
}
final FileCoverageInformation collector = getFileInfoTarget(loc, pCollectors);
if (pEdge instanceof AssumeEdge) {
collector.addVisitedAssume((AssumeEdge) pEdge);
}
collector.addVisitedLine(pEdge.getLineNumber());
}
private void handleExistedEdge(
final CFAEdge pEdge, final Map<String, FileCoverageInformation> pCollectors) {
final FileLocation loc = pEdge.getFileLocation();
if (loc.getStartingLineNumber() == 0) {
// dummy location
return;
}
if (pEdge instanceof ADeclarationEdge
&& (((ADeclarationEdge) pEdge).getDeclaration() instanceof AFunctionDeclaration)) {
// Function declarations span the complete body, this is not desired.
return;
}
final FileCoverageInformation collector = getFileInfoTarget(loc, pCollectors);
if (pEdge instanceof AssumeEdge) {
collector.addExistingAssume((AssumeEdge) pEdge);
}
collector.addExistingLine(pEdge.getLineNumber());
}
