gov.nasa.jpf.util

Class IntTable.Entry<E>

java.lang.Object

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

All Implemented Interfaces:

Cloneable

Enclosing class:

IntTable<E>

public static class IntTable.Entry<E>
extends Object
implements 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	IntTable.Entry(E k, int v)
protected	IntTable.Entry(E k, int v, IntTable.Entry<E> n)

Method Summary

Methods

Modifier and Type	Method and Description
IntTable.Entry<E>	clone()
boolean	equals(Object o) default implementation is just an identity check
int	hashCode()
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

IntTable.Entry

protected IntTable.Entry(E k,
              int v)

IntTable.Entry

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

Method Detail

clone

public IntTable.Entry<E> clone()

Overrides:

clone in class Object

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object