Skip to content

Commit

Permalink
Additional changes for issue #70
Browse files Browse the repository at this point in the history
  • Loading branch information
tsantalis committed Oct 11, 2019
1 parent 5268818 commit 8db9766
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -338,7 +338,7 @@ else if(controlDependence.isFalseControlDependence()) {
PDGControlPredicateNode dstPredicateNode = (PDGControlPredicateNode)dstPDGNode;
listRewrite.insertLast(processPredicateNode(dstPredicateNode, ast, sourceRewriter, sliceNodes), null);
}
else {
else if(!tryStatementBodyRewriteMap.containsKey(dstPDGNode.getASTStatement())) {
processStatementNode(listRewrite, dstPDGNode, ast, sourceRewriter);
sliceNodes.remove(dstPDGNode);
}
Expand Down Expand Up @@ -366,7 +366,7 @@ else if(trueControlDependentChildren.size() == 1) {
PDGControlPredicateNode dstPredicateNode = (PDGControlPredicateNode)dstPDGNode;
listRewrite.insertLast(processPredicateNode(dstPredicateNode, ast, sourceRewriter, sliceNodes), null);
}
else {
else if(!tryStatementBodyRewriteMap.containsKey(dstPDGNode.getASTStatement())) {
processStatementNode(listRewrite, dstPDGNode, ast, sourceRewriter);
sliceNodes.remove(dstPDGNode);
}
Expand Down Expand Up @@ -404,7 +404,7 @@ else if(oldPredicateStatement instanceof SwitchStatement) {
PDGControlPredicateNode dstPredicateNode = (PDGControlPredicateNode)dstPDGNode;
bodyRewrite.insertLast(processPredicateNode(dstPredicateNode, ast, sourceRewriter, sliceNodes), null);
}
else {
else if(!tryStatementBodyRewriteMap.containsKey(dstPDGNode.getASTStatement())) {
processStatementNode(bodyRewrite, dstPDGNode, ast, sourceRewriter);
sliceNodes.remove(dstPDGNode);
}
Expand Down

0 comments on commit 8db9766

Please sign in to comment.