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