Commit 175dba11 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

fix! tweaks to totally defined members and assignment discovery

parent 1c08eb01

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

+6 −2
Original line number Diff line number Diff line
@@ -388,8 +388,12 @@ public abstract class VariableAction { 
        public boolean isTotallyDefinedMember(String member) {

            if (totallyDefinedMember == null)

                return false;

            return totallyDefinedMember.equals(member) || member.startsWith(totallyDefinedMember)

                    || ObjectTree.removeRoot(member).startsWith(ObjectTree.removeRoot(totallyDefinedMember));

            if (totallyDefinedMember.equals(member))

                return true;

            if (member.startsWith(totallyDefinedMember)

                    || ObjectTree.removeRoot(member).startsWith(ObjectTree.removeRoot(totallyDefinedMember)))

                return hasTreeMember(member);

            return false;

        }



        /** @see #expression */

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

+1 −1
Original line number Diff line number Diff line
@@ -243,7 +243,7 @@ public class VariableVisitor extends GraphNodeContentVisitor<VariableVisitor.Act 
                    VariableAction.Definition def = getLastDefinition();

                    def.getObjectTree().addField(realName);

                    def.setTotallyDefinedMember(realName);

                    realNameWithoutRootList.add(realName);

                    realNameWithoutRootList.add(ObjectTree.removeRoot(realName));

                }

                definitionStack.pop();

            }