00001 package gov.nasa.arc.ase.jpf;
00002
00003 public class ReplyInfo implements java.io.Serializable {
00004 int sent;
00005 int received;
00006 boolean ok;
00007
00008 public ReplyInfo() {
00009 sent = 0;
00010 received = 0;
00011 ok = true;
00012 }
00013 public ReplyInfo(int s, int r, boolean o) {
00014 sent = s;
00015 received = r;
00016 ok = o;
00017 }
00018 public void add(ReplyInfo ri) {
00019 sent += ri.sent;
00020 received += ri.received;
00021 ok = ok && ri.ok;
00022 }
00023 public boolean isOk() {
00024 return ok && sent == received;
00025 }
00026 }
