Conducting ownership analysis with allocation depth = 1
---------LogRequest(WebServerSocket web, Logger log)--------
Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.

---------SendFile(WebServerSocket web, MySocket s)--------
Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.

---------LookupS(Stock l)--------
Task LookupS(Stock l) contains no aliases between flagged objects.

---------Startup(StartupObject s)--------
Task Startup(StartupObject s) contains no aliases between flagged objects.

---------ReceiveQueryS(Stock l)--------
Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.

---------AcceptConnection(ServerSocket ss)--------
Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.

---------LookupW(Weather l)--------
Task LookupW(Weather l) contains no aliases between flagged objects.

---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st) contains no aliases between flagged objects.

---------ReceiveQueryG(Google l)--------
Task ReceiveQueryG(Google l) contains no aliases between flagged objects.

---------ReceiveQueryW(Weather l)--------
Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.

---------LookupG(Google l)--------
Task LookupG(Google l) contains no aliases between flagged objects.

---------ProcessRequest(WebServerSocket web, MySocket s)--------
Task ProcessRequest(WebServerSocket web, MySocket s) contains no aliases between flagged objects.