---

ArrayWrapper.java

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

import gov.nasa.arc.ase.util.HashData;

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

  public ArrayWrapper(int[] d) {
    data = compressArray(d);

    HashData hd = new HashData();
    for(int i = 0; i < d.length; i++)
      hd.add(d[i]);
    
    hashcode = hd.getValue();
  }  
  private int [] compressArray (int [] d) {
    int pos = 0;
    int zeros = 0;
    int [] comp = new int[d.length];
    for (int i = 0; i < d.length; i++) {
      if (d[i] == 0) 
    zeros++;
      else {
    if (zeros > 0) {
      if (zeros == 1)
        comp[pos] = 0;
      else
        comp[pos] = -zeros;
      pos++;
      zeros = 0;
    }
    comp[pos] = d[i];
    pos++;
      }
    }
    int [] result = new int[pos];
    System.arraycopy(comp,0,result,0,result.length);
    return result;
  }  
  public boolean equals(Object o) {
    if(this == o) return true;
    if(o == null) return false;

    ArrayWrapper a = (ArrayWrapper)o;
    int[] d1 = data;
    int[] d2 = a.data;
    int l = d1.length;

    if(l != d2.length) return false;

    for(int idx = 0; idx < l; idx++)
      if(d1[idx] != d2[idx]) return false;

    return true;
  }  
  public int[] getData() {
    return data;
  }  
  public int hashCode() {
    return hashcode;
  }  
  public int size() {
    return data.length * 4;
  }  
  public String toString() {
    StringBuffer sb = new StringBuffer();
    int sz = data.length;

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

    return sb.toString();
  }  
}

---