---

ArrayWrapper.java

package gov.nasa.arc.ase.jpf.jvm;

import gov.nasa.arc.ase.jpf.*;
import java.util.Arrays;

public class ArrayWrapper {
  private int[] data;
  private int hashcode;

  public ArrayWrapper(int[] d, int h) {
    data = d;
    hashcode = h;
  }  
  public boolean equals(Object o) {
    return Arrays.equals(data, ((ArrayWrapper)o).data);
  }  
  public int[] getData() {
    return data;
  }  
  public int hashCode() {
    return hashcode;
  }  
  public int size() {
    return data.length * 4;
  }  
  public String toString() {
    StringBuffer s = new StringBuffer();
    int sz = data.length;

    s.append("data[");
    s.append(sz);
    s.append("] = { ");
    for(int i = 0; i < sz; i++) {
      if(i != 0) s.append(", ");
      s.append(data[i]);
    }
    s.append(" }");

    return s.toString();
  }  
}

---