Commit 55cb8d0d authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Improved accuracy of isTotallyDefinedMember(String)

parent ff2dcf4e

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

+3 −1
Original line number Diff line number Diff line
@@ -156,6 +156,8 @@ public abstract class VariableAction { 
    // ======================================================



    public boolean hasTreeMember(String member) {

        if (member.isEmpty())

            return hasObjectTree();

        if (!hasObjectTree())

            return false;

        return getObjectTree().hasMember(member);
@@ -392,7 +394,7 @@ public abstract class VariableAction { 
                return true;

            if (member.startsWith(totallyDefinedMember)

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

                return hasTreeMember(member);

                return ObjectTree.removeRoot(member).isEmpty() || hasTreeMember(member);

            return false;

        }