---

ByteArray.java

package gov.nasa.arc.ase.jpf;

public class ByteArray {
  private byte[] data;
  private int offset;

  public ByteArray() {
    data = null;
    offset = 0;
  }  
  public ByteArray(byte[] d) {
    data = d;
    offset = 0;
  }  
  public static byte byteOf(int i, int b) {
    return (byte)(i / (1 << (b*8)));
  }  
  public static int byteOf(int i, int b, byte v) {
    int vp = v;

    if(v < 0) v += 256;

    return (i & ~(255 << (b*8))) | (vp << (b*8));
  }  
  public static byte byteOf(long l, int b) {
    return (byte)(l / (1L << (b*8)));
  }  
  public static long byteOf(long l, int b, byte v) {
    long vp = v;

    if(v < 0) v += 256;

    return (l & ~(255L << (b*8))) | (vp << (b*8));
  }  
  public byte get() {
    return data[offset++];
  }  
  public byte[] getData() {
    resize(offset);
    return data;
  }  
  public void pack(int i) {
    for(int j = 0; j < 4; j++)
      put((byte)((i >> (j*8)) & 0xFF));
  }  
  public void pack(long l) {
    for(int i = 0; i < 8; i++) {
      put((byte)((l >> (i*8)) & 0xFF));
    }
  }  
  public void pack(String s) {
    int l = s.length();

    put((byte)(l));

    for(int i = 0; i < l; i++)
      put((byte)s.charAt(i));
  }  
  public void pack(boolean b) {
    put((byte)(b ? 1 : 0));
  }  
  public void put(byte b) {
    while(true) {
      try {
    data[offset] = b;
    offset++;
    return;
      } catch(NullPointerException e) {
    resize(offset + 4);
      } catch(ArrayIndexOutOfBoundsException e) {
    resize(offset + 4);
      }
    }
  }  
  private void resize(int length) {
    if(data == null) {
      data = new byte[length];
    } else {
      byte[] d = new byte[length];

      System.arraycopy(data, 0, d, 0, Math.min(length, data.length));
      data = d;
    }
  }  
  public boolean unpackBoolean() {
    return get() != 0;
  }  
  public int unpackInt() {
    int i = 0;
   
    for(int j = 0; j < 4; j++)
      i |= (get() << (j*8)) & (0xFFL << (j*8));

    return i;
  }  
  public long unpackLong() {
    long l = 0;
   
    for(int i = 0; i < 8; i++)
      l |= (get() << (i*8)) & (0xFFL << (i*8));

    return l;
  }  
  public String unpackStr() {
    StringBuffer sb = new StringBuffer();
    int l = get();

    for(int i = 0; i < l; i++)
      sb.append((char)get());

    return sb.toString();
  }  
}

---