gov.nasa.jpf.util

Class IntArray

java.lang.Object

gov.nasa.jpf.util.IntArray

public class IntArray
extends java.lang.Object

Wrapper for int[] that provides proper equals() and hashCode() methods.

Field Summary

Fields

Modifier and Type	Field and Description
int[]	data

Constructor Summary

Constructors

Constructor and Description
IntArray(int size)
IntArray(int[] data)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

data

public final int[] data

Constructor Detail

IntArray

public IntArray(int size)

IntArray

public IntArray(int[] data)

Method Detail

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