Class PrefixMap

java.lang.Object
eu.bandm.tools.d2d2.infra.PrefixMap

@Deprecated public class PrefixMap extends Object
Deprecated.
Supports auto completion by several maps which link prefices to full identifiers.
Attention: contents cannot decrease, but can only grow monotonuously.
  • Field Details

    • prefix2full

      protected Multimap<String,String> prefix2full
      Deprecated.
    • length2prefix

      protected Multimap<Integer,String> length2prefix
      Deprecated.
    • depth

      protected int depth
      Deprecated.
      The length of the longest string contained.
  • Constructor Details

    • PrefixMap

      public PrefixMap()
      Deprecated.
  • Method Details

    • insertAll

      public void insertAll(Collection<String> ss)
      Deprecated.
    • insert

      public void insert(String s)
      Deprecated.
    • prefixedBy

      public Set<String> prefixedBy(String s)
      Deprecated.
      Returns all contained strings which contain the argument as a prefix.
    • longestCommonPrefix

      public String longestCommonPrefix()
      Deprecated.
      Returns the longest common prefix of all strings contained.
    • longestCommonPrefix

      public String longestCommonPrefix(String prePrefix)
      Deprecated.
      Returns the longest common prefix of all strings starting with a certain prefix.
      If the prefix is not conatained at all, a java new Error() is thrown.

      FIXME besser "null" zurueckliefern !!!! ????