org.eclipse.core.internal.registry

Class HashtableOfStringAndInt

java.lang.Object

org.eclipse.core.internal.registry.HashtableOfStringAndInt

All Implemented Interfaces:

java.lang.Cloneable

public final class HashtableOfStringAndInt
extends java.lang.Object
implements java.lang.Cloneable

Hashtable of {String --> int }

Field Summary

Fields

Modifier and Type	Field and Description
static int	MISSING_ELEMENT

Constructor Summary

Constructors

Constructor and Description
HashtableOfStringAndInt()
HashtableOfStringAndInt(int size)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
boolean	containsKey(java.lang.String key)
int	get(java.lang.String key)
int[]	getValues()
void	load(java.io.DataInputStream in)
int	put(java.lang.String key, int value)
int	removeKey(java.lang.String key)
void	save(java.io.DataOutputStream out)
void	save(java.io.DataOutputStream out, RegistryObjectManager objectManager) Filtered save: outputs only elements with values not in the excluded list.
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

MISSING_ELEMENT

public static final int MISSING_ELEMENT

See Also:

Constant Field Values

Constructor Detail

HashtableOfStringAndInt

public HashtableOfStringAndInt()

HashtableOfStringAndInt

public HashtableOfStringAndInt(int size)

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Overrides:

clone in class java.lang.Object

Throws:

java.lang.CloneNotSupportedException

containsKey

public boolean containsKey(java.lang.String key)

get

public int get(java.lang.String key)

put

public int put(java.lang.String key,
               int value)

removeKey

public int removeKey(java.lang.String key)

size

public int size()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getValues

public int[] getValues()

save

public void save(java.io.DataOutputStream out)
          throws java.io.IOException

Throws:

java.io.IOException

save

public void save(java.io.DataOutputStream out,
                 RegistryObjectManager objectManager)
          throws java.io.IOException

Filtered save: outputs only elements with values not in the excluded list.

Throws:

java.io.IOException

load

public void load(java.io.DataInputStream in)
          throws java.io.IOException

Throws:

java.io.IOException