Commit 1fe56b03 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Total definition dependence now allowed for usages of synthetic variables.

parent 55cb8d0d

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

+1 −1
Original line number Diff line number Diff line
@@ -106,7 +106,7 @@ public class JSysPDG extends ESPDG { 
            for (GraphNode<?> node : vertexSet()) {

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

                    // Total definition dependence

                    if ((varAct.isUsage() || varAct.isDefinition()) && !varAct.isSynthetic()) {

                    if (varAct.isUsage() || (varAct.isDefinition() && !varAct.isSynthetic())) {

                        // root

                        jSysCFG.findLastTotalDefinitionOf(varAct, "-root-").forEach(totalDef -> addTotalDefinitionDependencyArc(totalDef, varAct, "-root-"));

                        // members