Robust/src/Benchmarks/Ownership/ChatTag.txt

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