HttpShortC.java

package betty16.lec1.httpshort;

import static betty16.lec1.httpshort.HttpShort.Http.Http.C;
import static betty16.lec1.httpshort.HttpShort.Http.Http.Response;
import static betty16.lec1.httpshort.HttpShort.Http.Http.S;

import org.scribble.net.Buf;
import org.scribble.net.session.MPSTEndpoint;
import org.scribble.net.session.SocketChannelEndpoint;

import betty16.lec1.httpshort.HttpShort.Http.Http;
import betty16.lec1.httpshort.HttpShort.Http.channels.C.Http_C_1;
import betty16.lec1.httpshort.HttpShort.Http.roles.C;
import betty16.lec1.httpshort.message.HttpShortMessageFormatter;
import betty16.lec1.httpshort.message.client.Request;
import betty16.lec1.httpshort.message.server.Response;

public class HttpShortC {

	public static void main(String[] args) throws Exception {
		Http http = new Http();
		try (MPSTEndpoint<Http, C> client = new MPSTEndpoint<>(http, C, new HttpShortMessageFormatter())) {
			String host = "www.doc.ic.ac.uk"; int port = 80;
			//String host = "summerschool2016.behavioural-types.eu"; int port = 80;
			//String host = "localhost"; int port = 8080;

			client.connect(S, SocketChannelEndpoint::new, host, port);
			new HttpShortC().run(client, host);
		}
	}

	private void run(MPSTEndpoint<Http, C> client, String host) throws Exception {
		Buf<Response> buf = new Buf<>();
		Http_C_1 c = new Http_C_1(client);


		c.send(S, new Request("/~rhu/", "1.1", host))
		 .receive(S, Response, buf);
		

		System.out.println("Response:\n" + buf.val);
	}



















	
	
	/*private void run(Http_C_1 c1, String host) throws Exception {
		Buf<Response> buf = new Buf<>();
		c1.send(S, new Request("/~rhu/", "1.1", host))
			//.send(S, new Response("1.1", "..body.."))
			//.send(S, new Request("/~rhu/", "1.1", host))
			.receive(S, RESPONSE, buf);
	}*/
}