package csp;
// This is the Sink or Destination end of a CSP channel
public class InPort {
MessageList globalList;
int localID;
// OutPort outEnd; // for ack
public InPort(int localID, MessageList globalList) {
this.globalList = globalList;
this.localID = localID;
// this.outEnd = outEnd;
}
// nonblocking receive, does not require ack
protected int[] noAck_receive() {
int m[] = null;
do {
//globalList.print("rec list");
m = globalList.receive(localID);
} while(m == null);
return m;
}
}