package jcircus.tests;

import org.jcsp.lang.Alternative;
import org.jcsp.lang.AltingChannelInput;
import org.jcsp.lang.CSProcess;
import org.jcsp.lang.Guard;
import org.jcsp.lang.SharedChannelInput;
import org.jcsp.lang.SharedChannelOutput;

public class SS implements CSProcess {

	Guard in;
	
	public SS(Guard in) {
		this.in = in;
	}
	public void run() {
		Guard[] guards = new Guard [] {in};
		//Alternative alt = new Alternative (guards);
		//int select = alt.select();
		int x = (Integer) ((AltingChannelInput)in).read();
	}
}