gov.nasa.jpf.util

Class IntTable.Entry<E>

java.lang.Object

gov.nasa.jpf.util.IntTable.Entry<E>

All Implemented Interfaces:

java.lang.Cloneable

Enclosing class:

IntTable<E>

public static class IntTable.Entry<E>
extends java.lang.Object
implements java.lang.Cloneable

encapsulates an Entry in the table. changes to val will be reflected in the table.

Field Summary

Fields

Modifier and Type	Field and Description
E	key
protected IntTable.Entry<E>	next
int	val

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Entry(E k, int v)
protected	Entry(E k, int v, IntTable.Entry<E> n)

Method Summary

Modifier and Type	Method and Description
IntTable.Entry<E>	clone()
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

key

public final E key

val

public final int val

next

protected IntTable.Entry<E> next

Constructor Detail

Entry

protected Entry(E k,
                int v)

Entry

protected Entry(E k,
                int v,
                IntTable.Entry<E> n)

Method Detail

clone

public IntTable.Entry<E> clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object