eu.bandm.tools.d2d2.infra

Class PrefixMap

java.lang.Object

eu.bandm.tools.d2d2.infra.PrefixMap

Deprecated.

Better use ../../ramus/ana/Trie.java

@Deprecated
public class PrefixMap
extends Object

Supports auto completion by several maps which link prefices to full identifiers.
Attention: contents cannot decrease, but can only grow monotonuously.

Field Summary

Fields

Modifier and Type	Field and Description
protected int	depth Deprecated. The length of the longest string contained.
protected Multimap<Integer,String>	length2prefix Deprecated.
protected Multimap<String,String>	prefix2full Deprecated.

Constructor Summary

Constructors

Constructor and Description
PrefixMap() Deprecated.

Method Summary

Modifier and Type	Method and Description
void	insert(String s) Deprecated.
void	insertAll(Collection<String> ss) Deprecated.
String	longestCommonPrefix() Deprecated. Returns the longest common prefix of all strings contained.
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.
Set<String>	prefixedBy(String s) Deprecated. Returns all contained strings which contain the argument as a prefix.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

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 Detail

PrefixMap

public PrefixMap()

Deprecated.

Method Detail

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 !!!! ????