/** * Constructs and returns an array of input channel ends, each of which can be used as guards * in an <code>Alternative</code>. The returned array, <code>r</code>, is constructed such that * <code>r[i] = c[i].in ()</code> for <code>0 <= i < c.Length</code>. * * @param c the array of channel to obtain input ends from. * @return the array of channel input ends. */ public static AltingChannelInputInt[] getInputArray(One2OneChannelInt[] c) { AltingChannelInputInt[] In = new AltingChannelInputInt[c.Length]; for (int i = 0; i < c.Length; i++) { In[i] = c[i].In(); } return(In); }
public CrewServer(/*final*/ AltingChannelInputInt request, /*final*/ AltingChannelInputInt writerControl, /*final*/ AltingChannelInputInt readerRelease, /*final*/ AltingChannelInputInt poison) { this.request = request; this.writerControl = writerControl; this.readerRelease = readerRelease; this.poison = poison; }