Robust/src/Benchmarks/Ownership/WebServerTag_ad3.txt

   1 Conducting ownership analysis with allocation depth = 3
   2 ---------SendFile(WebServerSocket web, Socket s)--------
   3 Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged objects.
   4
   5 ---------ProcessRequest(WebServerSocket web, Socket s)--------
   6 Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
   7
   8 ---------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
   9 Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s) contains no aliases between flagged objects.
  10
  11 ---------LogRequest(WebServerSocket web, Logger log)--------
  12 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
  13
  14 ---------AcceptConnection(ServerSocket ss)--------
  15 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
  16
  17 ---------Startup(StartupObject s)--------
  18 Task Startup(StartupObject s) contains no aliases between flagged objects.