Changeset 1282 for trunk/autoquest-core-usageprofiles/src/main/java/de/ugoe/cs/autoquest/usageprofiles/SymbolComparator.java

Timestamp:

07/30/13 09:38:43 (11 years ago)

Author:

pharms

Message:

• added support for symbol management strategy in tries, especially for storing them
• adapted comparator approach accordingly
• provided default implementation for symbol management strategies
• added, extended and improved java doc

File:

• trunk/autoquest-core-usageprofiles/src/main/java/de/ugoe/cs/autoquest/usageprofiles/SymbolComparator.java (modified) (2 diffs)

trunk/autoquest-core-usageprofiles/src/main/java/de/ugoe/cs/autoquest/usageprofiles/SymbolComparator.java

@@ -29 +29 @@
      * <p>
      * compares two symbols and returns true, if the concrete comparison strategy sees both
-     * symbols as equal. The method must be commutative, i.e.,
-     * <code>equals(symbol1, symbol2) == equals(symbol2, symbol1)</code>.
+     * symbols as equal. The method must be commutative and transitive, i.e.,
+     * <code>equals(symbol1, symbol2) == equals(symbol2, symbol1)</code> and
+     * <code>if (equals(symbol1, symbol2) && equals(symbol2, symbol3)) then
+     * equals(symbol1, symbol3)</code>.
      * </p>
      *
@@ -39 +41 @@
      */
     public boolean equals(T symbol1, T symbol2);
-    
-    /**
-     * <p>
-     * returns a search order for buckets. This method can be used for optimizing a search for
-     * equal symbols. The client of this class can store symbols in buckets of similar symbols.
-     * Those buckets get an id denoted by an integer. The most appropriate bucket for a symbol is
-     * the first element in the array returned by this method. The symbol should therefore be put
-     * into that bucket.
-     * </p>
-     * <p>
-     * In case a search for an equal symbol shall be performed at the client side, the client
-     * checks the available buckets in the order given as return value of this method. All other
-     * buckets are searched afterwards. In this scenario it is ensured, that the equal symbol is
-     * found as soon as possible as the search always starts in the most appropriate bucket.
-     * However, the other buckets are searched, as well, if no equal symbol is found. Therefore,
-     * in the worst case, all buckets are searched. In the optimal case, the equal symbol is found
-     * in the first bucket.
-     * </p>
-     * <p>
-     * The returned array should contain different integers in each field. This allows a most
-     * efficient search. If an integer is repeated, it is up to the clien, if this is ignored.
-     * </p>
-     *
-     * @param symbol the symbol for which the bucket order is to be returned
-     * 
-     * @return a search order for buckets as described
-     * 
-     * @see SymbolMap
-     */
-    public int[] getBucketSearchOrder(T symbol);
+
 }