Commit 0a230da4 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

fix! calls to poly and non-poly member mixed up

parent 42890374

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

+1 −1
Original line number Diff line number Diff line
@@ -81,7 +81,7 @@ public class ExpressionObjectTreeFinder { 
                else if (foundDecl)

                    return lastDef;

            } else if (a.isDefinition() && a.getName().equals(root)) {

                if (root.equals(realName) || a.hasTreeMember(realName))

                if (root.equals(realName) || a.hasPolyTreeMember(realName))

                    lastDef = a;

            }

        }

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

+1 −1
Original line number Diff line number Diff line
@@ -77,7 +77,7 @@ public class JSysCFG extends ESCFG { 
    /** Given a field declaration, locate all definitions that affect the given member. */

    public List<VariableAction> findAllFutureObjectDefinitionsFor(VariableAction action) {

        List<VariableAction> list = new LinkedList<>();

        Predicate<VariableAction> filter = a -> a.isDefinition() && a.getName().equals("this") && a.hasTreeMember(action.getName());

        Predicate<VariableAction> filter = a -> a.isDefinition() && a.getName().equals("this") && a.hasPolyTreeMember(action.getName());

        findAllFutureVarActionsFor(new HashSet<>(), list, action.getGraphNode(), action, filter);

        return list;

    }