1 Conducting ownership analysis with allocation depth = 1
2 ---------AcceptConnection(ServerSocket ss)--------
3 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
5 ---------Startup(StartupObject s)--------
6 Task Startup(StartupObject s) contains no aliases between flagged objects.
8 ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
9 Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
11 ---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
12 Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.
14 ---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
15 Task ProcessMove(TTTServerSocket ttts, Board tttBoard) contains no aliases between flagged objects.
17 ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
18 Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
20 ---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
21 Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.