---

ReplyInfo.java

package gov.nasa.arc.ase.jpf;

public class ReplyInfo implements java.io.Serializable {
  int sent;
  int received;
  boolean ok;

  public ReplyInfo() {
    sent = 0;
    received = 0;
    ok = true;
  }  
  public ReplyInfo(byte[] data) {
    ByteArray a = new ByteArray(data);

    sent = a.unpackInt();
    received = a.unpackInt();
    ok = a.unpackBoolean();
  }  
  public ReplyInfo(int s, int r, boolean o) {
    sent = s;
    received = r;
    ok = o;
  }  
  public void add(ReplyInfo ri) {
    sent += ri.sent;
    received += ri.received;
    ok = ok && ri.ok;
  }  
  public byte[] getData() {
    ByteArray a = new ByteArray();

    a.pack(sent);
    a.pack(received);
    a.pack(ok);

    return a.getData();
  }  
  public boolean isOk() {
    return ok && sent == received;
  }  
  public String toString() {
    StringBuffer sb = new StringBuffer();

    sb.append("I'm ");
    if(!ok) sb.append("not ");
    sb.append("okay to stop; ");
    sb.append("I've sent ");
    sb.append(sent);
    sb.append(" messages and received ");
    sb.append(received);
    sb.append(".");
    
    return sb.toString();
  }  
}

---