Commit fa157fc4 authored by Javier Costa's avatar Javier Costa
Browse files

PDG: Added Switch data dependency

parent b5773333

src/main/java/tfm/visitors/DataDependencyVisitor.java

+14 −0
Original line number Diff line number Diff line
@@ -68,6 +68,20 @@ public class DataDependencyVisitor extends VoidVisitorAdapter<Void> { 
        forEachStmt.getBody().accept(this, null);

    }



    @Override

    public void visit(SwitchStmt switchStmt, Void ignored) {

        buildDataDependency(switchStmt);



        switchStmt.getEntries().accept(this, null);

    }



    @Override

    public void visit(SwitchEntryStmt switchEntryStmt, Void ignored) {

        buildDataDependency(switchEntryStmt);



        switchEntryStmt.getStatements().accept(this, null);

    }



    private void buildDataDependency(Statement statement) {

        buildDataDependency(pdgGraph.findNodeByASTNode(statement).get());

    }