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

fix! remove multiple instances of scope-in and arg-in from actual-in nodes.

parent 2c8293d5

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

+0 −2
Original line number Diff line number Diff line
@@ -44,7 +44,6 @@ public class InterproceduralUsageFinder extends InterproceduralActionFinder<Usag 
            ActualIONode actualIn = locateActualInNode(edge, use.getName());

            Definition def = new Definition(VariableAction.DeclarationType.SYNTHETIC, "-arg-in-", graphNode, (ObjectTree) use.getObjectTree().clone());

            Movable movDef = new Movable(def, actualIn);

            actualIn.addVariableAction(movDef);

            graphNode.addVariableActionAfterLastMatchingRealNode(movDef, actualIn);

            ExpressionObjectTreeFinder finder = new ExpressionObjectTreeFinder(graphNode);

            finder.locateAndMarkTransferenceToRoot(actualIn.getArgument(), def);
@@ -59,7 +58,6 @@ public class InterproceduralUsageFinder extends InterproceduralActionFinder<Usag 
                Definition def = new Definition(VariableAction.DeclarationType.SYNTHETIC, "-scope-in-", graphNode, (ObjectTree) use.getObjectTree().clone());

                Movable movDef = new Movable(def, actualIn);

                Expression scope = Objects.requireNonNullElseGet(actualIn.getArgument(), ThisExpr::new);

                actualIn.addVariableAction(movDef);

                graphNode.addVariableActionAfterLastMatchingRealNode(movDef, actualIn);

                ExpressionObjectTreeFinder finder = new ExpressionObjectTreeFinder(graphNode);

                finder.locateAndMarkTransferenceToRoot(scope, def);

sdg-core/src/main/java/es/upv/mist/slicing/nodes/VariableVisitor.java

+0 −1
Original line number Diff line number Diff line
@@ -148,7 +148,6 @@ public class VariableVisitor extends GraphNodeContentVisitor<VariableVisitor.Act 
                throw new UnsupportedOperationException();

        }

        if (!realNodeStack.isEmpty()) {

            realNodeStack.peek().addVariableAction(va);

            va = new VariableAction.Movable(va, realNodeStack.peek());

        }

        graphNode.addVariableAction(va);