This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Benchmarks / TTT / TTTServer.java

diff --git a/Robust/src/Benchmarks/TTT/TTTServer.java b/Robust/src/Benchmarks/TTT/TTTServer.java
deleted file mode 100644 (file)
index 30bb706..0000000
--- a/Robust/src/Benchmarks/TTT/TTTServer.java
+++ /dev/null
@@ -1,58 +0,0 @@
-/* Startup object is generated with the initialstate flag set by the
- *  system to start the computation up */
-
-// Create ServerSocket
-task Startup(StartupObject s {initialstate}) {
-       System.printString("TTT Server Starting...\n");
-       ServerSocket ss = new ServerSocket(8000);
-       System.printString("Creating ServerSocket\n");
-       Board tttBoard = new Board() {init};
-       taskexit(s {!initialstate}); // Turn off initial state flag
-}
-
-//Listen for a request and accept request 
-task AcceptConnection(ServerSocket ss{SocketPending}) {
-       System.printString("Waiting for connection...\n");
-       TTTServerSocket ttts = new TTTServerSocket() {TTTSInitialize};
-       System.printString("Calling accept...\n");
-       ss.accept(ttts);
-       System.printString("Connected...\n");
-}
-
-// Process incoming requests
-task ProcessRequest(TTTServerSocket ttts{IOPending && TTTSInitialize}) {
-       System.printString("Request received...");
-       int action = ttts.receive();
-       if (action == 1) { // Make move
-               taskexit(ttts {MakeMove});
-       }
-       else { // Send Error
-               taskexit(ttts {SendError});
-       }
-}
-
-task ProcessMove(TTTServerSocket ttts{MakeMove}, Board tttBoard{init}) {
-       System.printString("Processing player's move...");
-       int result = tttBoard.makeMove(ttts.getRow(), ttts.getCol());
-       if (result == 1) { //Move made, send board display
-               taskexit(ttts {!MakeMove, SendBoard});
-       }
-       else if (result == 2) { //Move made, game over
-               taskexit(ttts {!MakeMove, SendDone});
-       }
-       else {// Error
-               taskexit(ttts {!MakeMove, SendError});
-       }
-}
-
-task SendBoardDisplay(TTTServerSocket ttts{SendBoard}, Board tttBoard{init}) {
-       ttts.sendBoardDisplay(tttBoard);
-}
-
-task GameOver(TTTServerSocket ttts{SendDone}, Board tttBoard{init}) {
-       ttts.sendDone(tttBoard.winner());
-}
-
-task SendErrorMessage(TTTServerSocket ttts{SendError}, Board tttBoard{init}) {
-       ttts.sendError();
-}