1 Conducting ownership analysis with allocation depth = 1
2 ---------Message(ChatSocket cs, Socket s)--------
3 Potential alias between parameter 0 and FlatNew____m2782___= NEW Message.
5 ---------SendMessage(Message m)--------
6 No aliases between flagged objects in Task SendMessage(Message m).
8 ---------Startup(StartupObject s)--------
9 No aliases between flagged objects in Task Startup(StartupObject s).
11 ---------ReadRequest(ChatSocket cs, Socket s)--------
12 No aliases between flagged objects in Task ReadRequest(ChatSocket cs, Socket s).
14 ---------AcceptConnection(ServerSocket ss)--------
15 Potential alias between FlatNew____cs2817___= NEW ChatSocket and FlatNew____s1933___= NEW Socket.
17 ---------ProcessRoom(ChatSocket cs, RoomObject ro)--------
18 Potential alias between parameters 0 and 1.