Sub-prefixes of a prefix is now returned as a PrefixSet.

REFA-5

diff --git a/software/no.uio.ifi.refaktor/src/no/uio/ifi/refaktor/extractors/Prefix.java b/software/no.uio.ifi.refaktor/src/no/uio/ifi/refaktor/extractors/Prefix.java
index 9ef13ad1412489bb8b0e3bf6c548ee494fad0573..4eecc6bebdbaf921c75829287bea69f78aee9edd 100644 (file)
--- a/software/no.uio.ifi.refaktor/src/no/uio/ifi/refaktor/extractors/Prefix.java
+++ b/software/no.uio.ifi.refaktor/src/no/uio/ifi/refaktor/extractors/Prefix.java
@@ -171,8 +171,8 @@ public class Prefix {
        /**
         * @return the list of possible sub-prefixes, including a copy of this one.
         */
-       public List<Prefix> getSubPrefixes() {
-               List<Prefix> possiblePrefixes = new LinkedList<Prefix>();
+       public PrefixSet getSubPrefixes() {
+               PrefixSet possiblePrefixes = new PrefixSet();
                for (Expression exp: getSubExpressions(prefixExpression))
                        possiblePrefixes.add(new Prefix(exp, statement, document));
                return possiblePrefixes;