Robust/src/Benchmarks/Ownership/Conglomerator.txt

   1 Conducting ownership analysis with allocation depth = 3
   2 ---------LogRequest(WebServerSocket web, Logger log)--------
   3 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
   4
   5 ---------ReceiveQueryW(Weather l)--------
   6 Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
   7
   8 ---------LookupS(Stock l)--------
   9 Task LookupS(Stock l) contains no aliases between flagged objects.
  10
  11 ---------LookupG(Google l)--------
  12 Task LookupG(Google l) contains no aliases between flagged objects.
  13
  14 ---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
  15 Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st) contains no aliases between flagged objects.
  16
  17 ---------ReceiveQueryG(Google l)--------
  18 Task ReceiveQueryG(Google l) contains no aliases between flagged objects.
  19
  20 ---------SendFile(WebServerSocket web, MySocket s)--------
  21 Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
  22
  23 ---------AcceptConnection(ServerSocket ss)--------
  24 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
  25
  26 ---------ReceiveQueryS(Stock l)--------
  27 Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
  28
  29 ---------Startup(StartupObject s)--------
  30 Task Startup(StartupObject s) contains no aliases between flagged objects.
  31
  32 ---------ProcessRequest(WebServerSocket web, MySocket s)--------
  33 Task ProcessRequest(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
  34
  35 ---------LookupW(Weather l)--------
  36 Task LookupW(Weather l) contains no aliases between flagged objects.