Commit d7edd341 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

fix! value dependency arc for active exception only when it is separated from its parent node.

parent a1e33e3b

sdg-core/src/main/java/es/upv/mist/slicing/graphs/jsysdg/JSysPDG.java

+5 −6
Original line number Diff line number Diff line
@@ -190,13 +190,12 @@ public class JSysPDG extends ESPDG { 
        }



        protected void valueDependencyForThrowStatements() {

            for (GraphNode<?> node : vertexSet()) {

                for (VariableAction action : node.getVariableActions()) {

                    if (action.isDefinition() && action.getName().equals(ESCFG.ACTIVE_EXCEPTION_VARIABLE)) {

            for (GraphNode<?> node : vertexSet())

                for (VariableAction action : node.getVariableActions())

                    if (action.isDefinition()

                            && action.hasObjectTree()

                            && action.getName().equals(ESCFG.ACTIVE_EXCEPTION_VARIABLE))

                        addValueDependencyArc(action, "-root-", node);

        }

    }

}
 
        }

    }

}